学会発表
発表題目
代表発表者名
共同発表者名
学会・会議名
発表形態
発表開始年月
発表終了年月
概要
Basic information
Name
Kambayashi Yasushi
発表題目
A Search Strategy for Efficient Model Checking Using Ant Colony Optimization Algorithm
代表発表者名
Tsutomu Kumazawa
共同発表者名
Munehiro Takimoto, Yasushi Kambayashi
学会・会議名
Forty-First Software Symposium
発表形態
ENG
発表開始年月
2021-06
発表終了年月
概要
