Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification More Books by Thierry Lecomte, Ralf Pinger & Alexander Romanovsky
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2025
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2023
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2022
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2019
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2017
Formal Methods: Foundations and Applications
2016