From b02b4bbf2278f9ee04f381ca36d53ca3fc50ccfd Mon Sep 17 00:00:00 2001 From: Alexandre Albore Date: Fri, 7 Dec 2018 09:19:14 +0000 Subject: [PATCH] Update Conference --- Conference.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Conference.md b/Conference.md index 09123d1..83dd277 100644 --- a/Conference.md +++ b/Conference.md @@ -1,14 +1,14 @@ 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/ + 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 -* ERTS2 2018: 9th European Congress Emdedded Real Time Software and Systems -https://www.erts2018.org/ +* 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_