著作(論文等)

基本情報

氏名 神林 靖
氏名(カナ) カンバヤシ ヤスシ
氏名(英語) Kambayashi Yasushi

論文名

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

 

終了頁

359

出版者(日本語)

 

出版者(英語)

 

発表形態

学術誌掲載

概要