学会発表
発表題目
代表発表者名
共同発表者名
学会・会議名
発表形態
発表開始年月
発表終了年月
概要
基本情報
氏名
神林 靖
氏名（カナ）
カンバヤシ ヤスシ
氏名（英語）
Kambayashi Yasushi
発表題目
A Search Strategy for Efficient Model Checking Using Ant Colony Optimization Algorithm
代表発表者名
Tsutomu Kumazawa
共同発表者名
Munehiro Takimoto, Yasushi Kambayashi
学会・会議名
Forty-First Software Symposium
発表形態
口頭発表（一般）
発表開始年月
2021/06
発表終了年月
概要
