researchmap
 

研究キーワード  [ Formal Methods ]

総件数: 21件


  • リュウ ショウエイ
    法政大学
    情報科学部コンピュータ科学科  
    教授
  • シマヨシ タカオ
    九州大学
    情報基盤研究開発センター  
    准教授
  • 国立情報学研究所
    情報社会相関研究系  
    教授
  • ナカタ アキオ
    広島市立大学
    情報科学研究科システム工学専攻  
    教授
  • ウバヤシ ナオヤス
    旧所属 九州工業大学 大学院情報工学研究院 知能情報工学研究系
    准教授
  • 国立研究開発法人産業技術総合研究所
    情報技術研究部門  
    研究員
  • ナカショウ カズヒサ
    山口大学
    大学院創成科学研究科  
    准教授
  • アルカイーニ パオロ
    国立情報学研究所
  • サトウ シンヤ
    茨城大学
    全学教育機構共通教育部門  
    准教授
  • 岐阜大学
    工学部  
    助教