文献
J-GLOBAL ID:201702291287043449
整理番号:17A1632034
修理可能で再構成可能なシステムの安全性解析モデルの形式的検証【Powered by NICT】
Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems
著者 (3件):
Kobeissi Elodie
(LURPA, ENS Cachan, Univ. Paris-Sud, Universite Paris-Saclay, F-94235 Cachan, France)
,
Piriou Pierre-Yves
(Electricite de France, R&D, 78400 Chatou, France)
,
Faure Jean-Marc
(LURPA, ENS Cachan, Univ. Paris-Sud, Supmeca, Univ. Paris-Saclay, 94235 Cachan, France)
資料名:
IFAC PapersOnLine
(IFAC PapersOnLine)
巻:
50
号:
1
ページ:
11144-11149
発行年:
2017年
JST資料番号:
W3101A
ISSN:
2405-8963
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)