课题基金 / 基金详情

Software reliability engineering based on formal methods

Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
批准号：
170458-1995
负责人：
Leue, Stefan
金额：
$1.18万
依托单位：
University of Waterloo
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
1996
资助国家：
加拿大
项目状态：
已结题
起止时间：
1996-01-01 至 1997-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=7536
关键词：
Softwarereliabilityengineeringbasedformal

项目摘要

项目成果

Leue, Stefan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Design of object-oriented, concurrent real-time systems
  • 批准号：
    170458-1999
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $0.21万
  • 财政年份：
    2000
  • 负责人：
    Leue, Stefan
  • 依托单位：
    University of Waterloo
Software requirements engineering and design based on message sequence charts
  • 批准号：
    193706-1996
  • 项目类别：
    Collaborative Research and Development Grants
  • 资助金额：
    $1.02万
  • 财政年份：
    1999
  • 负责人：
    Leue, Stefan
  • 依托单位：
    University of Waterloo
Design of object-oriented, concurrent real-time systems
  • 批准号：
    170458-1999
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.22万
  • 财政年份：
    1999
  • 负责人：
    Leue, Stefan
  • 依托单位：
    University of Waterloo
Software requirements engineering and design based on message sequence charts
  • 批准号：
    193706-1996
  • 项目类别：
    Collaborative Research and Development Grants
  • 资助金额：
    $1.52万
  • 财政年份：
    1998
  • 负责人：
    Leue, Stefan
  • 依托单位：
    University of Waterloo
国内基金
海外基金
基于贝叶斯网络可靠度演进模型的城市雨水管网整体优化设计理论研究
  • 批准号：
    51008191
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    20.0万元
  • 批准年份：
    2010
  • 负责人：
    刘兴坡
  • 依托单位：
    上海海事大学