研究分野
研究分野・キーワード(日本語)
研究分野・キーワード(英語)
Basic information
Name
Kumazawa Tsutomu
研究分野・キーワード(日本語)
モデル検査, ソフトウェア工学
研究分野・キーワード(英語)
Model Checking, Software Engineering