OVADO

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68499-4_6 ◽

2017 ◽

pp. 87-98 ◽

Author(s):

Manel Fredj ◽

Sven Leger ◽

Abderrahmane Feliachi ◽

Julien Ordioni

Download Full-text