B-PERFect

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

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

2017 ◽

pp. 160-172 ◽

Author(s):

Alexandra Halchin ◽

Abderrahmane Feliachi ◽

Neeraj Kumar Singh ◽

Yamine Ait-Ameur ◽

Julien Ordioni

Download Full-text