@ -6,6 +6,7 @@ This translator has supported research activities presented in the following con
@@ -6,6 +6,7 @@ This translator has supported research activities presented in the following con
* ERTS<sup>2</sup> 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_