书籍简介:

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

书籍规格:

书籍详细信息
书名	安全关键计算机系统站内查询相似图书
	9787113052218 《安全关键计算机系统》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地	北京	出版单位	中国铁道出版社
版次	1版	印次	1
定价(元)	30.0	语种	简体中文
尺寸	26	装帧	平装
页数		印数	3000

全网搜索试读资源

书籍信息归属:

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