Tomita Takashi 冨田尭

ORCID

Connect your ORCID iD *help

Researcher Number	80749226
Affiliation *help	2016 – 2018 : 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 助教
Review Section/Research Field	Principal Investigator Software / Computer system
Keywords	Principal Investigator 形式手法 / ソフトウェア工学 / ソフトウェア検証 / 自動合成

Research Projects
(1results)

実現可能性必要条件に基づいた協調的リアクティブシステム自動合成Principal InvestigatorOngoing
- Principal Investigator
  
  冨田尭
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Computer system
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology