研究キーワード

形式検証

研究キーワードが「形式検証」である研究者

  • ワサキ カツミ
    KATSUMI WASAKI
    信州大学
    工学部 電子情報システム工学科 教授
  • テラウチ タチオ
    Tachio Terauchi
    早稲田大学
    理工学術院 基幹理工学部 情報理工学科 教授
  • Toshiaki Aoki
    北陸先端科学技術大学院大学
    先端科学技術研究科 教授
  • ヨネヤマ カズキ
    KAZUKI YONEYAMA
    茨城大学
    学術研究院 応用理工学野 情報科学領域 教授
  • ウラベ ナツキ
    NATSUKI URABE
    国立情報学研究所
    アーキテクチャ科学研究系 特任研究員
  • カン キッシン
    Jixin Han
    早稲田大学・理工学術院
    基幹理工学部 講師
  • サクラダ ヒデキ
    Hideki Sakurada
    日本電信電話株式会社
    コミュニケーション科学基礎研究所 主幹研究員
  • うんの ひろし
    Hiroshi Unno
    東北大学
    電気通信研究所 教授