Lecomte, Thierry.

概要

作品:	1 作品在 6 項出版品 1 種語言

書目資訊

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

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) (書目-電子資源)

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: RSSRail (Conference) (2019 :); Collart-Dutilleul, Simon.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service) (書目-電子資源)

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: Collart-Dutilleul, Simon.; Lecomte, Thierry.; SpringerLink (Online service); Milius, Birgit.; RSSRail (Conference) (2023 :) (書目-電子資源)

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: RSSRail (Conference) (2022 :); Collart-Dutilleul, Simon.; Lecomte, Thierry.; SpringerLink (Online service); Haxthausen, Anne E. (書目-電子資源)

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: RSSRail (Conference) (2017 :); Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service); Fantechi, Alessandro. (書目-電子資源)

主題