著作(論文等)
|
|
Gravitational Search Algorithm-Based Efficient Model Checking
Asaka Takase, Tsutomu Kumazawa, Munehiro Takimoto
Proceedings of the 18th ACM International Conference on PErvasive Technologies Related to Assistive Environments
2025/07
468
472
ACM
研究論文（国際会議プロシーディングス）
|
