Cooperative Reactive System Synthesis Based on Necessary Conditions of Realizability
Cooperative Reactive System Synthesis Based on Necessary Conditions of Realizability
基于可实现性必要条件的协同反应系统综合
批准号：
17K17763
负责人：
Tomita Takashi
金额：
$2.66万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications
高效实施反应式系统规范的可实现性检查
高效实施反应式系统规范的可实现性检查
DOI：
10.1145/3316615.3316634
发表时间：
2019
期刊：
Proceedings of the 2019 8th International Conference on Software and Computer Applications (ICSCA2019)
影响因子：
--
作者：
[Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara and Naoki Yonezaki]
通讯作者：
Shigeki Hagihara and Naoki Yonezaki
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
反应式系统规范可实现性必要条件的表征
反应式系统规范可实现性必要条件的表征
DOI：
10.1587/transinf.2021fop0005
发表时间：
2022
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
[TOMITA Takashi, HAGIHARA Shigeki, SHIMAKAWA Masaya, YONEZAKI Naoki]
通讯作者：
YONEZAKI Naoki
リアクティブシステム実現可能性必要条件の判定手続き
确定反应系统可行性要求的程序
确定反应系统可行性要求的程序
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[小竹泰子, 高 紀信, 瀧山嘉久, 石浦浩之, 辻 省次, 吉田光宏, 冨田 尭]
通讯作者：
冨田 尭
Estimation method and reduction measures of tsunami-related fire risk in ports
-
批准号：19H02401
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$9.98万
-
财政年份：2019
-
负责人：Tomita Takashi
-
依托单位：
Reverse genetics study on the molecular species and mutations involved in metabolic insecticide resistance of the dengue vector mosquito
-
批准号：16K08767
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.08万
-
财政年份：2016
-
负责人：Tomita Takashi
-
依托单位：
Study on the mechanisms involved in insecticide resistance of vector mosquiotes by genome editing technology
-
批准号：25460525
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.24万
-
财政年份：2013
-
负责人：Tomita Takashi
-
依托单位：
海外基金
