Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail ... 9707 (Lecture Notes in Computer Science)
by Thierry Lecomte,Ralf Pinger,Alexander Romanovsky
ISBN 13: 9783319339504
Format: Paperback (268 pages) Publisher: Springer Published: 04 Jun 2016
Save for later
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail ... 10598 (Lecture Notes in Computer Science)
by Alessandro Fantechi,Thierry Lecomte,Alexander Romanovsky
ISBN 13: 9783319684987
Format: Paperback (284 pages) Publisher: Springer Published: 20 Oct 2017
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail ... 11495 (Lecture Notes in Computer Science)
by Simon Collart-Dutilleul,Thierry Lecomte,Alexander Romanovsky
ISBN 13: 9783030187439
Format: Paperback (320 pages) Publisher: Springer Published: 24 Apr 2019