著作(論文等)
論文名
著者名
掲載誌名等
掲載年月
巻
号
開始頁
終了頁
出版者(日本語)
出版者(英語)
発表形態
概要
Basic information
Name
Kumazawa Tsutomu
論文名
行列計算に基づくモデル検査技術
著者名
熊澤努, 小田朋宏
掲載誌名等
ソフトウェア・シンポジウム2020 論文集
掲載年月
2020-06
巻
 
号
 
開始頁
104
ENG
終了頁
113
出版者(日本語)
 
出版者(英語)
 
発表形態
研究論文(研究会,シンポジウム資料等)
概要