学会発表

基本情報

氏名 熊澤　努
氏名（カナ） クマザワ　ツトム
氏名（英語） Kumazawa Tsutomu

発表題目

Model Checking with Metaheuristics

代表発表者名

Tsutomu Kumazawa

共同発表者名

 

学会・会議名

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

発表形態

口頭発表（招待・特別）

発表開始年月

2017/07

　

 

発表終了年月

 

概要