铁路科技图书出版基金资助出版:本书介绍了安全关键系统概论、安全技术的国际标准、安全关键系统的安全原则、危险和风险分析方法、形式方法及其在安全关键系统中的应用。

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。