文献
J-GLOBAL ID:201202224533708482
整理番号:12A0814617
設計関心抽出とモデルチェッキングを使用した制御ソフトウェア仕様の検証
Validation of Control Software Specification Using Design Interests Extraction and Model Checking
著者 (4件):
KAGA Tomoyuki
(Toyota Motor Corp.)
,
ADACHI Masakazu
(Toyota Central R&D Labs., Inc)
,
HOSOTANI Ichiro
(Toyota Motor Corp.)
,
KONISHI Masaaki
(Toyota Motor Corp.)
資料名:
SAE Technical Paper Series (Society of Automotive Engineers)
(SAE Technical Paper Series (Society of Automotive Engineers))
ページ:
12P
発行年:
2012年
JST資料番号:
D0244B
ISSN:
0148-7191
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)