• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Tomita Takashi  冨田 尭

… Alternative Names

冨田 尭  トミタ タカシ

Less
Researcher Number 80749226
Other IDs
  • ORCIDhttps://orcid.org/0000-0003-1249-7862
Affiliation (Current) 2023: 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 准教授
Affiliation (based on the past Project Information) *help 2019 – 2021: 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 講師
2017 – 2018: 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 助教
Review Section/Research Field
Principal Investigator
Computer system / Software / Basic Section 60050:Software-related
Keywords
Principal Investigator
ソフトウェア工学 / 形式手法 / ソフトウェア検証 / 協調的リアクティブシステム / 実現可能性 / 自動合成 / 協調的リテクティブシステム / 確率・統計 / モデルベース開発 / 電子制御モデル
  • Research Projects

    (2 results)
  • Research Products

    (1 results)
  •  電子制御モデル検証における形式手法と確率・統計的手法の融合Principal Investigator

    • Principal Investigator
      冨田 尭
    • Project Period (FY)
      2020 – 2022
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  実現可能性必要条件に基づいた協調的リアクティブシステム自動合成Principal Investigator

    • Principal Investigator
      冨田 尭
    • Project Period (FY)
      2017 – 2022
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Computer system
      Software
    • Research Institution
      Japan Advanced Institute of Science and Technology

All 2020

All Presentation

  • [Presentation] リアクティブシステム実現可能性必要条件の判定手続き2020

    • Author(s)
      冨田 尭
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Data Source
      KAKENHI-PROJECT-17K17763

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi