Libros
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
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2016