著作(論文等)

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

出版者(日本語)

 

出版者(英語)

 

発表形態

研究論文(国際会議プロシーディングス)

概要