文献
J-GLOBAL ID:201702271158244854
整理番号:17A1629090
MBSAに基づく安全上重要なシステムのための改良された形式的故障解析アプローチ【Powered by NICT】
An improved formal failure analysis approach for safety-critical system based on MBSA
著者 (4件):
Chen Lu
(School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China)
,
Jiao Jian
(School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China)
,
Wei Qianxin
(School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China)
,
Zhao Tingdi
(School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China)
資料名:
Engineering Failure Analysis
(Engineering Failure Analysis)
巻:
82
ページ:
713-725
発行年:
2017年
JST資料番号:
W0684A
ISSN:
1350-6307
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
イギリス (GBR)
言語:
英語 (EN)