课题基金 / 基金详情

Methods of reliability enhancement for safety-critical software

Methods of reliability enhancement for safety-critical software
安全关键软件可靠性增强方法
批准号:
170016-1995
负责人:
Woit, Denise
金额:
$0.69万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
1997
资助国家:
加拿大
项目状态:
已结题
起止时间:
1997-01-01 至 1998-12-31

项目摘要

项目成果

Woit, Denise的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Improving reliability quantification and magnitude through development process mutations for iteratively developed software
  • 批准号:
    170016-2009
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.38万
  • 财政年份:
    2015
  • 负责人:
    Woit, Denise
  • 依托单位:
Improving reliability quantification and magnitude through development process mutations for iteratively developed software
  • 批准号:
    170016-2009
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.38万
  • 财政年份:
    2013
  • 负责人:
    Woit, Denise
  • 依托单位:
Improving reliability quantification and magnitude through development process mutations for iteratively developed software
  • 批准号:
    170016-2009
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.38万
  • 财政年份:
    2011
  • 负责人:
    Woit, Denise
  • 依托单位:
Improving reliability quantification and magnitude through development process mutations for iteratively developed software
  • 批准号:
    170016-2009
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.38万
  • 财政年份:
    2010
  • 负责人:
    Woit, Denise
  • 依托单位:
国内基金
海外基金
基于贝叶斯网络可靠度演进模型的城市雨水管网整体优化设计理论研究
  • 批准号:
    51008191
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    20.0万元
  • 批准年份:
    2010
  • 负责人:
    刘兴坡
  • 依托单位: