×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
在这里添加一些文本
关闭
×
首 页
关于本刊
在线期刊
投稿攻略
联系我们
期刊简介
编委会
期刊订阅
E-mail Alert
当期目录
按栏目浏览
过刊浏览
摘要点击排行
全文下载排行
投稿须知
投稿声明
处理流程
写作模板
版权转让协议
保密审查单
故障拓展模型到概率检验模型的转换规则
王鹏, 张帆, 董磊, 胡剑波, 赵长啸
Translation rules of fault extended model to probabilistic checking model
WANG Peng, ZHANG Fan, DONG Lei, HU Jianbo, ZHAO Changxiao
系统工程与电子技术 . 2017, (
11
): 2501 -2508 . DOI: 10.3969/j.issn.1001-506X.2017.11.16