文献
J-GLOBAL ID:201102230829732918
整理番号:11A0858867
有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
Modular Verification using Bounded Model Checking technique with Test Case Generation
著者 (4件):
橋本祐介
(総合研究大学院大)
,
橋本祐介
(NEC サービスプラットフォーム研)
,
中島震
(総合研究大学院大)
,
中島震
(国立情報学研)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
110
号:
458(SS2010 53-78)
ページ:
91-96
発行年:
2011年02月28日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)