AIDA/AIDASafety
1
0
Fork 0
mirror of http://172.16.200.102/AIDA/AIDASafety.git synced 2025-12-10 08:07:58 +01:00
Code Issues Projects Releases Wiki Activity

Formatting

Pierre Gaufillet
2018-12-06 14:32:45 +00:00
parent 22c61f8db9
commit 2b8956abdd
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
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