Railroads - Congresses. - Safety measures

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)

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)

Software Engineering.

Railroads

Systems and Data Security.

Computer Communication Networks.

Theory of Computation.

Computer Science.

Computer Systems Organization and Communication Networks.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Computer and Information Systems Applications.

Computer Engineering and Networks.

Artificial Intelligence (incl. Robotics)

Artificial Intelligence.

Control Structures and Microprogramming.