Link to paper

6 years ago · d2fc018296
1 changed files with 5 additions and 4 deletions
--- a/Conference.md
+++ b/Conference.md
@ -3,12 +3,13 @@ This translator has supported research activities presented in the following con
				@@ -3,12 +3,13 @@ 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_
+- 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
 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_
-  https://www.erts2018.org/uploads/program/ERTS_2018_paper_12.pdf
+ - 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: https://www.erts2018.org/uploads/program/ERTS_2018_paper_12.pdf