文献
J-GLOBAL ID:201502252601846959
整理番号:15A0745208
構成可能モデル抽出に基づく故障解析のモデル検査方式
A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction
著者 (5件):
OGAWA Hideto
(Res. & Dev. Group, Center for Technol. Innovation - Systems Engineering, Hitachi, Ltd.)
,
ICHII Makoto
(Res. & Dev. Group, Center for Technol. Innovation - Systems Engineering, Hitachi, Ltd.)
,
MYOJIN Tomoyuki
(Res. & Dev. Group, Center for Technol. Innovation - Systems Engineering, Hitachi, Ltd.)
,
CHIKAHISA Masaki
(Res. & Dev. Group, Center for Technol. Innovation - Systems Engineering, Hitachi, Ltd.)
,
NAKAGAWA Yuichiro
(Res. & Dev. Group, Center for Technol. Innovation - Systems Engineering, Hitachi, Ltd.)
資料名:
IEICE Transactions on Information and Systems (Web)
(IEICE Transactions on Information and Systems (Web))
巻:
E98.D
号:
6
ページ:
1150-1160 (J-STAGE)
発行年:
2015年
JST資料番号:
U0469A
ISSN:
1745-1361
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)