「学者の杜（がくしゃのもり）」は、筑波大学の「研究者」が見えるデータベースです。
最新の研究業績や研究課題だけでなく、日本語で書かれた読みやすい記事や、研究を紹介するムービーなど
さまざまなコンテンツもまとめてみることできます。
検索結果： 1 結果 / Verification of realtime controlled systems
水谷 哲也
Mizutani, Tetsuya
システム情報系, 講師 Institute of Systems and Information Engineering, Assistant Professor