Rchr
J-GLOBAL ID：201601014534172553   Update date: Jan. 30, 2024

Shimakawa Masaya

シマカワ マサヤ | Shimakawa Masaya
Affiliation and department：
Takushoku University

About Takushoku University


Research field  (1)： Information theory
Research theme for competitive and other funds  (4)：
  • 2022 - 2025 振る舞い仕様の効率的な実現可能性判定のための分割検証法
  • 2018 - 2023 効率的なωオートマトン操作法と非制限的仕様検証への応用
  • 2015 - 2019 Efficient realizability verification of reactive system specifications without approximation
  • 2012 - 2015 Extracting information for correction of flaws from embedded system specification of practical scale by formal method
Work history (1)：
  • Tokyo Institute of Technology School of Computing Assistant Professor
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM