メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
アシュアランスケース自動合成のためのプログラム可能な記述言語の開発
Research Project
All
Fiscal Year 2024
grantAwardInfo
Project/Area Number
23K28066
Research Category
Grant-in-Aid for Scientific Research (B)
Allocation Type
Multi-year Fund
Section
一般
Review Section
Basic Section 60050:Software-related
Research Institution
National Institute of Advanced Industrial Science and Technology
Principal Investigator
山形 頼之
国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (40415758)
Project Period (FY)
2024-02-28 – 2026-03-31
Project Status
Adopted (Fiscal Year 2024)
Budget Amount
*help
¥11,440,000 (Direct Cost: ¥8,800,000、Indirect Cost: ¥2,640,000)
Fiscal Year 2025: ¥5,720,000 (Direct Cost: ¥4,400,000、Indirect Cost: ¥1,320,000)
Fiscal Year 2024: ¥5,720,000 (Direct Cost: ¥4,400,000、Indirect Cost: ¥1,320,000)