著作(論文等)

Basic information

Name Kumazawa Tsutomu

論文名

Memoization in Model Checking for Safety Properties with Multi-Swarm Particle Swarm Optimization

著者名

Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, Yasushi Kambayashi

掲載誌名等

Electronics

掲載年月

2024-10

巻

13

号

21

開始頁

4199

　

 

終了頁

 

出版者(日本語)

 

出版者(英語)

MDPI AG

発表形態

研究論文（学術雑誌）

概要