Thierry Lecomte – författare
Visar alla böcker från författaren Thierry Lecomte.
7 produkter
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Av Simon Collart-Dutilleul, Thierry Lecomte m. fl.
Häftad, 2019
859 kr
Lägg i varukorg
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings
Av Simon Collart-Dutilleul, Anne E. Haxthausen m. fl.
Häftad, 2022
959 kr
Lägg i varukorg
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings
Av Birgit Milius, Simon Collart-Dutilleul m. fl.
Häftad, 2023
929 kr
Lägg i varukorg
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings
Av Maurice H. ter Beek, Simon Collart-Dutilleul m. fl.
Häftad, 2025
829 kr
Lägg i varukorg
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Av Thierry Lecomte, Ralf Pinger m. fl.
Häftad, 2016
739 kr
Lägg i varukorg
Formal Methods: Foundations and Applications
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Av Leila Ribeiro, Thierry Lecomte
Häftad, 2016
739 kr
Lägg i varukorg
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Av Alessandro Fantechi, Thierry Lecomte m. fl.
Häftad, 2017
719 kr
Lägg i varukorg