Thierry Lecomte · 2 obras en el catálogoObrasReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and CertificationFFormal Methods : Foundations and ApplicationsFormal Methods : Foundations and Applications
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification