Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 1st ed. 2019 - Springer International Publishing 2019 - 11495 - Lecture Notes in Computer Science .
978-3-030-18744-6
1611-3349
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 1st ed. 2019 - Springer International Publishing 2019 - 11495 - Lecture Notes in Computer Science .
978-3-030-18744-6
1611-3349