Railroads - Congresses. - Safety measures

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings / by: (書目-電子資源)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: (書目-電子資源)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019 : proceedings / by: (書目-電子資源)

Reliability, safety, and security of railway systems. modelling, analysis, verification, and certification4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022: proceedings / by: (書目-電子資源)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023 : proceedings / by: (書目-電子資源)

Software Engineering.

Mathematical Logic and Formal Languages.

Theory of Computation.

Logics and Meanings of Programs.

Computer and Information Systems Applications.

Railroads

Artificial Intelligence (incl. Robotics)

Control Structures and Microprogramming.

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Computer Engineering and Networks.

Artificial Intelligence.

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Computer Systems Organization and Communication Networks.

Simulation and Modeling.