Lecomte, Thierry.

Overview

Works:	1 works in 6 publications in 1 languages

Titles

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

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

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

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

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

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

Subjects