文献
J-GLOBAL ID:201602205333974213
整理番号:16A0148694
安全性診断ソフトウェアに対する形式検証法
Formal Verification Method for Safety Diagnosis Software
著者 (4件):
NARISAWA Fumio
(Hitachi Ltd)
,
MATSUBARA Masahiro
(Hitachi Ltd)
,
NISHI Masataka
(Hitachi Ltd)
,
EBINA Tomohito
(Hitachi Automotive Systems)
資料名:
SAE Technical Paper Series (Society of Automotive Engineers)
(SAE Technical Paper Series (Society of Automotive Engineers))
ページ:
6P
発行年:
2015年
JST資料番号:
D0244B
ISSN:
0148-7191
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)