著作(論文等)
論文名
著者名
掲載誌名等
掲載年月
巻
号
開始頁
終了頁
出版者(日本語)
出版者(英語)
発表形態
概要
Basic information
Name
Kumazawa Tsutomu
論文名
Counterexample-Based Error Localization of Behavior Models
著者名
Tsutomu Kumazawa , Tetsuo Tamai
掲載誌名等
NASA FORMAL METHODS
掲載年月
2011-04
巻
6617
号
開始頁
222
ENG
終了頁
236
出版者(日本語)
出版者(英語)
発表形態
研究論文（国際会議プロシーディングス）
概要
