researchmap
 

研究キーワード  [ Formal Methods ]

総件数: 16件


  • リュウ ショウエイ
    法政大学
    情報科学部コンピュータ科学科  
    教授
  • シマヨシ タカオ
    九州大学
    情報基盤研究開発センター  
    准教授
  • 国立情報学研究所
    情報社会相関研究系  
    教授
  • ナカタ アキオ
    広島市立大学
    情報科学研究科システム工学専攻  
    教授
  • ウバヤシ ナオヤス
    旧所属 九州工業大学 大学院情報工学研究院 知能情報工学研究系
    准教授
  • 国立研究開発法人産業技術総合研究所
    情報技術研究部門  
    研究員
  • 岐阜大学
    工学部  
    助教
  • ハヤシ ユウジ
  • イイダ シュウサク
    専修大学
    ネットワーク情報学部  
    教授
  • キノシタ シュウジ
    神奈川大学
    プログラミング科学研究所