书籍详情

安全关键计算机系统

安全关键计算机系统

作者:员春欣,江建慧主编

出版社:中国铁道出版社

出版时间:2003-01-01

ISBN:9787113052218

定价:¥29.00

内容简介
  本书介绍了安全关键系统概论、安全技术的国际标准、安全关键系统的安全原则、危险和风险分析方法、形式方法及其在安全关键系统中的应用。
作者简介
暂缺《安全关键计算机系统》作者简介
目录
暂缺《安全关键计算机系统》目录
猜您喜欢

读书导航