著作(論文等)

基本情報

氏名 熊澤 努
氏名(カナ) クマザワ ツトム
氏名(英語) Kumazawa Tsutomu

論文名

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

著者名

Tsutomu Kumazawa , Chihiro Yokoyama , Munehiro Takimoto , Yasushi Kambayashi

掲載誌名等

EAI Endorsed Transactions on Industrial Networks and Intelligent Systems

掲載年月

2016/04

3

7

開始頁

e1

 

 

終了頁

 

出版者(日本語)

 

出版者(英語)

 

発表形態

研究論文(学術雑誌)

概要