学会発表

Basic information

Name Kumazawa Tsutomu

発表題目

Model Checking with Metaheuristics

代表発表者名

Tsutomu Kumazawa

共同発表者名

 

学会・会議名

2017 International Symposium for Advanced Computing and Information Technology (ISACIT 2017)

発表形態

ENG

発表開始年月

2017-07

 

 

発表終了年月

 

概要