著作(論文等)

Basic information

Name Kumazawa Tsutomu

論文名

アリコロニー最適化法を用いたモデル検査の効率化のための探索戦略

著者名

熊澤努, 滝本 宗宏, 神林 靖

掲載誌名等

ソフトウェア・シンポジウム2021 論文集

掲載年月

2021-05

 

 

開始頁

126

 

ENG

終了頁

135

出版者(日本語)

 

出版者(英語)

 

発表形態

研究論文(研究会,シンポジウム資料等)

概要