語系
Collart-Dutilleul, Simon.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
Operating rules and interoperability in trans-national high-speed rail
by:
Collart-Dutilleul, Simon.; SpringerLink (Online service)
(書目-電子資源)
主題
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.