著作(論文等)

Basic information

Name Kumazawa Tsutomu

論文名

Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone

著者名

Tsutomu Kumazawa , Chihiro Yokoyama , Munehiro Takimoto , Yasushi Kambayashi

掲載誌名等

Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS) (BICT'15)

掲載年月

2015-12

 

 

開始頁

214

 

ENG

終了頁

220

出版者(日本語)

 

出版者(英語)

 

発表形態

研究論文(国際会議プロシーディングス)

概要