Tomita Takashi 冨田尭

Researcher Number	80749226
Affiliation *help	2016 – 2018 : 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 助教
Review Section/Research Field	Principal Investigator Software / Computer system
Keywords	Principal Investigator 形式手法 / ソフトウェア工学 / ソフトウェア検証 / 実現可能性 / 協調的リアクティブシステム / 自動合成

Tomita Takashi 冨田 尭