Thierry Lecomte
Identifiers
- Open LibraryOL7845310A
Top Subjects
- Railroads, safety appliances (1)
- Computer software, development (1)
Books by Thierry Lecomte
Total count: 2
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and CertificationFirst International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, ProceedingsSpringer London, Limited2016-01-01
-
Formal Methods : Foundations and Applications19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, ProceedingsSpringer International Publishing AG2016-01-01