System safety - Congresses. - Simulation methods

Model-based safety and assessment4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings / by: (Language materials, printed)

Model-based safety and assessment5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings / by: (Electronic resources)

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Reliability (Engineering)

Computer systems

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Safety appliances

Computer Science.

System safety