diff --git a/Conference.md b/Conference.md index 7a3866b..d98b9ab 100644 --- a/Conference.md +++ b/Conference.md @@ -1,6 +1,7 @@ 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 @@ -8,6 +9,7 @@ Book: https://www.springer.com/it/book/9783319641188 ERTS2 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 https://www.erts2018.org/uploads/program/ERTS_2018_paper_12.pdf \ No newline at end of file