Detection of Unexpected by Runtime Goal Model Tracking
Detection of Unexpected by Runtime Goal Model Tracking
批准号:
15K12012
负责人:
Ishikawa Fuyuki
金额:
$2.08万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Challenging Exploratory Research
财政年份:
2015
资助国家:
日本
项目状态:
已结题
起止时间:
2015-04-01 至 2017-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models
-
批准号:17H01727
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$9.15万
-
财政年份:2017
-
负责人:Ishikawa Fuyuki
-
依托单位:
Transactions of telomere components
-
批准号:15H02383
-
项目类别:Grant-in-Aid for Scientific Research (A)
-
资助金额:$25.88万
-
财政年份:2015
-
负责人:Ishikawa Fuyuki
-
依托单位:
Identification of low-dose stress-responsive pathways
-
批准号:15K14449
-
项目类别:Grant-in-Aid for Challenging Exploratory Research
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Ishikawa Fuyuki
-
依托单位:
Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement
-
批准号:26700005
-
项目类别:Grant-in-Aid for Young Scientists (A)
-
资助金额:$3.74万
-
财政年份:2014
-
负责人:Ishikawa Fuyuki
-
依托单位:
海外基金