「学者の杜（がくしゃのもり）」は、筑波大学の「研究者」が見えるデータベースです。
最新の研究業績や研究課題だけでなく、日本語で書かれた読みやすい記事や、研究を紹介するムービーなど
さまざまなコンテンツもまとめてみることできます。
検索結果： 5 結果 / model checking
長谷部 浩二
Hasebe, Koji
システム情報系 情報工学域, 准教授 Faculty of Engineering, Information and Systems, Associate Professor
水谷 哲也
Mizutani, Tetsuya
システム情報系, 講師 Institute of Systems and Information Engineering, Assistant Professor
海野 広志
Unno, Hiroshi
東北大学, 電気通信研究所, 教授 Tohoku University, Research Institute of Electrical Communication