文献
J-GLOBAL ID:201202297860265290
整理番号:12A1018909
コンポーネントベースおよび拡張性モデル検査プラットフォームに対するグラフィカルアプローチ
A Graphical Approach to Component-Based and Extensible Model Checking Platforms
著者 (2件):
WESTERGAARD Michael
(Eindhoven Univ. Technol., NLD)
,
KRISTENSEN Lars Michael
(Bergen Univ. Coll., NOR)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
6900
ページ:
265-291
発行年:
2012年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)