Railroads - Congresses. - Safety measures

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: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Software Engineering.

Artificial Intelligence (incl. Robotics)

Railroads

Systems and Data Security.

Artificial Intelligence.

Computer Communication Networks.

Control Structures and Microprogramming.

Computer Engineering and Networks.

Computer and Information Systems Applications.

Theory of Computation.

Computer Science.

Computer Systems Organization and Communication Networks.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.