検索結果: 5 結果 / model checking

長谷部 浩二
Hasebe, Koji

システム情報系 情報工学域, 准教授
Faculty of Engineering, Information and Systems, Associate Professor

亀山 幸義
Kameyama, Yukiyoshi

システム情報系, 教授
Institute of Systems and Information Engineering, Professor

加藤 和彦
Kato, Kazuhiko

筑波大学, 理事
University of Tsukuba, Executive Director

水谷 哲也
Mizutani, Tetsuya

システム情報系, 講師
Institute of Systems and Information Engineering, Assistant Professor

ALUMNI

海野 広志
Unno, Hiroshi

東北大学, 電気通信研究所, 教授
Tohoku University, Research Institute of Electrical Communication