 |
名称 | 安全关键计算机系统 |
| 索引号 | 608883 | |
| 分类号 | (| 08 环境公报) |
|
| 作者 | 员春欣、江建慧、 | |
| 出版社 | 北京 : 中国铁道出版社, 2003 | |
| ISBN | 7-113-05221-5 | |
| 页数 | 264页 : 图 ; 26cm | |
| 价格 | CNY29.00 | |
| 标签 | ||
| 简介 | ||
| 注解 | 铁路科技图书出版基金资助出版 有书目 (第259-263页) 本书主要介绍了安全关键系统概论、关键技术的国际标准、安全关键系统的安全原理、危险和风险分析方法、安全关键系统的形式方法和需求工程、安全关键计算机系统的组成原理、安全关键计算机系统的软件以及安全关键计算机系统的验证等内容・本书主要围绕交通安全计算机控制系统的需要进行选材，并力求反映本学科在国际上的新成就・ 适用人群：高校交通信息工程专业、自动控制专业，安全技术专业本科师生 | |
书籍简介
本书主要介绍了安全关键系统概论、
粤公网安备 44030602003680号