Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science, Band 10598)

Verification

von: Alessandro Fantechi · Thierry Lecomte · Alexander Romanovsky

Taschenbuch

ISBN: 978-3-319-68498-7

ISBN-10: 3-319-68498-1

Springer · 2017