MOISE/Timed-Altarica-To-Fiacre-Translator
1
0
Fork 0
mirror of http://172.16.200.102/MOISE/Timed-Altarica-To-Fiacre-Translator.git synced 2025-11-26 04:57:58 +01:00
Code Issues Projects Releases Wiki Activity

Update Conference

Pierre Gaufillet
2018-12-06 14:38:55 +00:00
parent 919e95d56f
commit 1b89bc833c
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
Conference.md

@@ -1,15 +1,14 @@
This translator has supported research activities presented in the following conferences: This translator has supported research activities presented in the following conferences:
IMBSA 2017: International Symposium on Model-Based Safety and Assessment * 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 * 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 * Book: https://www.springer.com/it/book/9783319641188
* ERTS2 2018: 9th European Congress Emdedded Real Time Software and Systems
ERTS2 2018: 9th European Congress Emdedded Real Time Software and Systems
https://www.erts2018.org/ 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 * 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 https://www.erts2018.org/uploads/program/ERTS_2018_paper_12.pdf