著作(論文等)
|
|
基本情報
|
| 氏名 | 神林 靖 |
| 氏名（カナ） | カンバヤシ ヤスシ |
| 氏名（英語） | Kambayashi Yasushi |
| 所属 | 山陽小野田市立山口東京理科大学工学部数理情報科学科 |
| 職名 | 教授 |
| researchmap研究者コード | |
| researchmap機関 |
 |
学術誌掲載
|
2022/03
|
Journal of Information and Telecommunication
|
Exploration Strategies for Balancing Efficiency and Comprehensibility in Model Checking with Ant Colony Optimization
|
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
|
6
|
3
|
341
|
～
|
359
|
|
|