System safety - Congresses. - Simulation methods

Model-based safety and assessment = 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : 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.

Special Purpose and Application-Based Systems.

System safety- Simulation methods

Computer Science.