From 57b8138f2fee6a341937bf223172ba9cfc24fd85 Mon Sep 17 00:00:00 2001 From: Alexandre Albore Date: Fri, 7 Dec 2018 09:24:24 +0000 Subject: [PATCH] test (they should add a preview button) --- Conference.md | 1 + 1 file changed, 1 insertion(+) diff --git a/Conference.md b/Conference.md index 68fb457..8d61de1 100644 --- a/Conference.md +++ b/Conference.md @@ -6,6 +6,7 @@ This translator has supported research activities presented in the following con - 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_