ISBN 9783319684987 books & textbook
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Programming and Software Engineering)
Fantechi, Alessandro Lecomte, Thierry Romanovsky, Alexander
Springer /2017-10-20 Paperback / 283 Pages
isbn-10: 3319684981 / isbn-13: 9783319684987
