System safety - Congresses. - Simulation methods

Model-based safety and assessment = 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings / by: (書目-語言資料,印刷品)

Algorithm Analysis and Problem Complexity.

Computer Science.

Computer systems

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Reliability (Engineering)

Safety appliances

Software Engineering.

Special Purpose and Application-Based Systems.

System safety