著作(論文等)

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

出版者(日本語)

 

出版者(英語)

 

発表形態

研究論文(学術雑誌)

概要