|
题名:
|
安全关键计算机系统 / 员春欣, 江建慧主编 , |
|
ISBN:
|
7-113-05221-5 价格： CNY29.00 |
|
语种:
|
chi |
|
载体形态:
|
264页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 中国铁道出版社 出版日期： 2003 |
|
内容提要:
|
本书主要介绍了安全关键系统概论、关键技术的国际标准、安全关键系统的安全原理、危险和风险分析方法、安全关键系统的形式方法和需求工程、安全关键计算机系统的组成原理、安全关键计算机系统的软件以及安全关键计算机系统的验证等内容。本书主要围绕交通安全计算机控制系统的需要进行选材，并力求反映本学科在国际上的新成就。 |
|
主题词:
|
计算机监控 |
|
中图分类法:
|
TP277 版次： 4 |
|
主要责任者:
|
员春欣 主编 |
|
主要责任者:
|
江建慧 主编 |
|
附注:
|
铁路科技图书出版基金资助出版 |