著作(論文等)
論文名
著者名
掲載誌名等
掲載年月
巻
号
開始頁
終了頁
出版者(日本語)
出版者(英語)
発表形態
概要
基本情報
氏名
神林 靖
氏名(カナ)
カンバヤシ ヤスシ
氏名(英語)
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
出版者(日本語)
 
出版者(英語)
 
発表形態
学術誌掲載
概要