安全关键计算机系统

书籍简介:

本书主要介绍了安全关键系统概论、关键技术的国际标准、安全关键系统的安全原理、危险和风险分析方法、安全关键系统的形式方法和需求工程、安全关键计算机系统的组成原理、安全关键计算机系统的软件以及安全关键计算机系统的验证等内容。本书主要围绕交通安全计算机控制系统的需要进行选材，并力求反映本学科在国际上的新成就。

书籍规格:

书籍信息归属:

安全关键计算机系统是中国铁道出版社于2003.07出版的中图分类号为 TP309 的主题关于 电子计算机－安全技术 的书籍。