CAREER: A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software
CAREER: A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software
批准号:
9896354
负责人:
John Hatcliff
金额:
$13.07万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1998
资助国家:
美国
项目状态:
已结题
起止时间:
1998-08-01 至 2002-06-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms
-
批准号:1565544
-
项目类别:Continuing Grant
-
资助金额:$16.0万
-
财政年份:2016
-
负责人:John Hatcliff
-
依托单位:
FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms
-
批准号:1446544
-
项目类别:Standard Grant
-
资助金额:$8.0万
-
财政年份:2015
-
负责人:John Hatcliff
-
依托单位:
FDA SIR: Risk Assessment Techniques for Apps & Devices within Interoperable Medical Frameworks
-
批准号:1355778
-
项目类别:Standard Grant
-
资助金额:$8.0万
-
财政年份:2013
-
负责人:John Hatcliff
-
依托单位:
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
-
批准号:1239543
-
项目类别:Standard Grant
-
资助金额:$88.0万
-
财政年份:2012
-
负责人:John Hatcliff
-
依托单位:
An Integrated Development and Certification Environment for a Medical Device Coordination Framework
-
批准号:1065887
-
项目类别:Standard Grant
-
资助金额:$8.0万
-
财政年份:2011
-
负责人:John Hatcliff
-
依托单位:
CPS:Medium:Collaborative Research:Infrastructure and Technology Innovations for Medical Device Coordination
-
批准号:0932289
-
项目类别:Standard Grant
-
资助金额:$83.95万
-
财政年份:2009
-
负责人:John Hatcliff
-
依托单位:
Development of an Open Test-bed for Application of Formal Methods to Plug and Play Medical Devices
-
批准号:0734204
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:John Hatcliff
-
依托单位:
CRI: Collaborative Research: A Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques
-
批准号:0454348
-
项目类别:Continuing Grant
-
资助金额:$23.7万
-
财政年份:2005
-
负责人:John Hatcliff
-
依托单位:
Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications
-
批准号:0429141
-
项目类别:Continuing Grant
-
资助金额:$11.25万
-
财政年份:2004
-
负责人:John Hatcliff
-
依托单位:
CISE Postdoctoral Research Associates: A Model Construction Tool Suite for Finite-State Verification Java (CCR)
-
批准号:9901605
-
项目类别:Standard Grant
-
资助金额:$6.6万
-
财政年份:1999
-
负责人:John Hatcliff
-
依托单位:
CAREER: A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software
-
批准号:9701418
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1997
-
负责人:John Hatcliff
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Graphon mean field games with partial observation and application to failure detection in distributed systems
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:MATHIEULOUROCHLAURIERE
-
依托单位:
Partial EIV 模型参数估计理论及其在测量数据处理中的应用研究
-
批准号:41664001
-
项目类别:地区科学基金项目
-
资助金额:40.0万元
-
批准年份:2016
-
负责人:王乐洋
-
依托单位:
Partial Spread Bent函数与Bent-Negabent函数的构造及密码学性质研究
-
批准号:61402377
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2014
-
负责人:苏为
-
依托单位:
图的l1-嵌入性以及partial立方图和多重median图的刻画
-
批准号:11261019
-
项目类别:地区科学基金项目
-
资助金额:45.0万元
-
批准年份:2012
-
负责人:王广富
-
依托单位: