Author:
Halchin Alexandra,Sylla Adja Ndeye,Benyagoub Sarah,Feliachi Abderrahmane,Fonteneau Yoann,Leger Sven
Publisher
Springer Nature Switzerland
Reference12 articles.
1. Lecture Notes in Computer Science;N Benaissa,2016
2. Lecture Notes in Computer Science;A Bonacchi,2014
3. Lecture Notes in Computer Science;M Comptier,2017
4. Lecture Notes in Computer Science;M Comptier,2019
5. Feliachi, A., Bonvoisin, D., Samira, C., Ordioni, J.: Formal verification of system-level safety properties on railway software. In: Congrès Lambda-Mu 20 (2016)