From 2b8956abdd9e09c92101b3db84f627b86ab033f5 Mon Sep 17 00:00:00 2001 From: Pierre Gaufillet Date: Thu, 6 Dec 2018 14:32:45 +0000 Subject: [PATCH] Formatting --- Conference.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/Conference.md b/Conference.md index d747601..22f0e6c 100644 --- a/Conference.md +++ b/Conference.md @@ -1,12 +1,11 @@ This translator has supported research activities presented in the following conferences: -IMBSA 2017: International Symposium on Model-Based Safety and Assessment +* IMBSA 2017: International Symposium on Model-Based Safety and Assessment http://imbsa2017.fbk.eu/ -Paper: Tatiana Prosvirnova, Estelle Saez, Christel Seguin and Pierre Virelizier: Handling consistency between safety and system models +* Paper: Tatiana Prosvirnova, Estelle Saez, Christel Seguin and Pierre Virelizier: Handling consistency between safety and system models -Book: https://www.springer.com/it/book/9783319641188 +* Book: https://www.springer.com/it/book/9783319641188 - -ISCPL 2017: Ingénierie de Systèmes complexes à Logiciels Prépondérants. +* ISCPL 2017: Ingénierie de Systèmes complexes à Logiciels Prépondérants. Thème 2017: De l’Ingénierie Système des Opérations d’Armement à la SdF des Logiciels