著作(論文等)
論文名
著者名
掲載誌名等
掲載年月
巻
号
開始頁
終了頁
出版者(日本語)
出版者(英語)
発表形態
概要
Basic information
Name
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
 
終了頁
 
出版者(日本語)
 
出版者(英語)
 
発表形態
研究論文(学術雑誌)
概要