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년