Page: Conference

Conference

home

HTTPS

12 Conference

Alexandre Albore edited this page 6 years ago

This translator has supported research activities presented in the following conferences:

• IMBSA 2017: International Symposium on Model-Based Safety and Assessment http://imbsa2017.fbk.eu/

• Paper: Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin and Pierre Virelizier: A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica

• Book: https://www.springer.com/it/book/9783319641188

• ERTS² 2018: 9th European Congress Emdedded Real Time Software and Systems https://www.erts2018.org/

• Paper: Alexandre Albore, Silvano Dal Zilio, Marie de Roquemaurel, Christel Seguin, Pierre Virelizier: Timed Formal Model and Verification of Satellite FDIR in Early Design Phase

• PDF: https://www.erts2018.org/uploads/program/ERTS_2018_paper_12.pdf