著作(論文等)
|
|
基本情報
|
| 氏名 | 熊澤 努 |
| 氏名（カナ） | クマザワ ツトム |
| 氏名（英語） | Kumazawa Tsutomu |
| 所属 | 山陽小野田市立山口東京理科大学工学部数理情報科学科 |
| 職名 | 教授 |
| researchmap研究者コード | |
| researchmap機関 |
 |
研究論文（国際会議プロシーディングス）
|
2025/07
|
Proceedings of the 18th ACM International Conference on PErvasive Technologies Related to Assistive Environments
|
Gravitational Search Algorithm-Based Efficient Model Checking
|
Asaka Takase, Tsutomu Kumazawa, Munehiro Takimoto
|
|
|
468
|
|
472
|
|
ACM
|