| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings | 978-3-319-49814-0 | 2016 | Leila Ribeiro |
| Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | 978-3-319-68498-7 | 2017 | Alessandro Fantechi · Alexander Romanovsky |
| Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail ... Notes in Computer Science, Band 9707) | 978-3-319-33950-4 | 2016 | Ralf Pinger · Alexander Romanovsky |
| Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail ... in Computer Science , Band 11495) | 978-3-030-18743-9 | 2019 | Simon Collart-Dutilleul · Alexander Romanovsky |