![PDF的第一页](/cms/10.5555/317498.317732/asset/f2e96c86-1928-4e01-813b-407574a1a490/assets/317498.317732.fp.png)
工具书类
建议
关键系统的可靠性改进 2011年IEEE第17届环太平洋可靠计算国际研讨会论文集 飞机、军用飞机、汽车和核电站安全控制系统是本文所述关键数字系统的典型代表。 这些系统被公众认为是安全的:它们的事故率是。。。
评论
信息和贡献者
问询处
发布于
赞助商
SIGSOFT:ACM软件工程特别兴趣小组 Rocky Mountain软工程学院:Rocky Mountain软工程学院 IEEE-CS:计算机社会
出版商
出版历史
检查更新
限定符
第条
会议
SIGSOFT公司 软En的落基山学院 IEEE-CS标准