1 changed files with 3 additions and 3 deletions
@ -1,14 +1,14 @@
@@ -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/ |
||||
* 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_ |
||||
|
||||
|
||||
Loading…
Reference in new issue