Languages
Collart-Dutilleul, Simon.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
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)
(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.; Collart-Dutilleul, Simon.; Lecomte, Thierry.; SpringerLink (Online service)
(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:
RSSRail (Conference) (2022 :); Collart-Dutilleul, Simon.; Haxthausen, Anne E.; Lecomte, Thierry.; SpringerLink (Online service)
(Electronic resources)
Operating rules and interoperability in trans-national high-speed rail
by:
Collart-Dutilleul, Simon.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
High speed trains- Europe.
Communications Engineering, Networks.
Signal, Image and Speech Processing.
Logics and Meanings of Programs.
Railroads- Management.- Europe
Computer and Information Systems Applications.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Railroads- Safety measures
Computer Engineering and Networks.
Artificial Intelligence.
Simulation and Modeling.