学会発表

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

 

 

発表終了年月

 

概要