Lecomte, Thierry.

Overview

Works:	2 works in 6 publications in 1 languages

Titles

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023 : proceedings / by: (1998 :); Collart-Dutilleul, Simon.; Lecomte, Thierry.; Milius, Birgit.; SpringerLink (Online service) (Electronic resources)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019 : proceedings / by: (1998 :); Collart-Dutilleul, Simon.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: (1998 :); Fantechi, Alessandro.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Formal methodsfoundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / by: (1998 :); Lecomte, Thierry.; Ribeiro, Leila.; SpringerLink (Online service) (Electronic resources)

Reliability, safety, and security of railway systems. modelling, analysis, verification, and certification4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022: proceedings / by: (1998 :); Collart-Dutilleul, Simon.; Haxthausen, Anne E.; Lecomte, Thierry.; SpringerLink (Online service) (Electronic resources)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings / by: (1998 :); Lecomte, Thierry.; Pinger, Ralf.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Subjects