著作(論文等)
論文名
著者名
掲載誌名等
掲載年月
巻
号
開始頁
終了頁
出版者(日本語)
出版者(英語)
発表形態
概要
Basic information
Name
Kumazawa Tsutomu
論文名
Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization
著者名
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
掲載誌名等
Journal of Information and Telecommunication
掲載年月
2022-03
巻
6
号
3
開始頁
341
ENG
終了頁
359
出版者(日本語)
 
出版者(英語)
 
発表形態
研究論文(学術雑誌)
概要