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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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.