Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2025
Risks and Security of Internet and Systems
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
Operating Rules and Interoperability in Trans-National High-Speed Rail
2021
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2019