時相的・関係的仕様からの高レベルプログラム合成
時相的・関係的仕様からの高レベルプログラム合成
根据时间和关系规范进行高级程序综合
批准号：
23K20380
负责人：
海野 広志
金额：
$2.0万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2024
资助国家：
日本
项目状态：
未结题
起止时间：
2024-02-28 至 2025-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Synthesis of High-Level Programs from Temporal and Relational Specifications
-
批准号：20H04162
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$10.9万
-
财政年份：2020
-
负责人：海野 広志
-
依托单位：