Collart-Dutilleul, Simon.
Overview
| Works: | 1 works in 5 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 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)
Risks and security of internet and systems19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024 : proceedings /
by:
(1998 :); Collart-Dutilleul, Simon.; 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.
Communications Engineering, Networks.
Signal, Image and Speech Processing.
Logics and Meanings of Programs.
High speed trains
Computer and Information Systems Applications.
Data and Information Security.
Railroads
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
Internet
Artificial Intelligence.
Simulation and Modeling.