bib.howest.be Zoekresultaten

U zocht naar: Auteur Lecomte, Thierry

1 - 6 van 6

1. Formal Methods: Foundations and Applications

Auteur:: Ribeiro; Lecomte, Thierry
Uitgever:: Springer International Publishing 2016
Type:: e-book

2. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Auteur:: Fantechi; Lecomte, Thierry; Romanovsky, Alexander
Uitgever:: Springer International Publishing 2017
Type:: e-book

3. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Auteur:: Collart-Dutilleul; Lecomte, Thierry; Romanovsky, Alexander
Uitgever:: Springer International Publishing 2019
Type:: e-book

4. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings

Auteur:: Birgit Milius; Collart-Dutilleul, Simon; Lecomte, Thierry
Uitgever:: Springer Nature 2023
Type:: e-book

5. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

Auteur:: Collart-Dutilleul, Simon.; Haxthausen, Anne E.; Lecomte, Thierry
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

6. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Auteur:: Thierry Lecomte, Ralf Pinger, Alexander Romanovsky; Pinger, Ralf; Romanovsky, Alexander
Uitgever:: Springer International Publishing 2016
Type:: e-book