System safety - Congresses. - Simulation methods

Model-based safety and assessment = 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings / by: (Electronic resources)

Software Engineering.

Mathematical Logic and Formal Languages.

Safety appliances- Simulation methods

Computer systems- Simulation methods

Logics and Meanings of Programs.

Reliability (Engineering)- Simulation methods

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

System safety- Simulation methods

Computer Science.