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

this stuff doesn't indent

Alexandre Albore
2018-12-07 09:19:44 +00:00
parent b02b4bbf22
commit 995596a338
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Conference.md

@@ -2,9 +2,7 @@ This translator has supported research activities presented in the following con
* IMBSA 2017: International Symposium on Model-Based Safety and Assessment
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
* ERTS<sup>2</sup> 2018: 9th European Congress Emdedded Real Time Software and Systems