课题基金 / 基金详情

Automated verification of concurrent programs for embedded systems

Automated verification of concurrent programs for embedded systems
嵌入式系统并发程序的自动验证
批准号：
183856-2010
负责人：
Norvell, Theodore
金额：
$1.82万
依托单位：
Memorial University of Newfoundland
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2013
资助国家：
加拿大
项目状态：
已结题
起止时间：
2013-01-01 至 2014-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=522977
关键词：
Automatedverificationconcurrentprogramsembedded

项目摘要

项目成果

Norvell, Theodore的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
In today's world more and more systems involve the use of computers in real-time decision making. Such systems might include braking systems in cars, medical devices, power-plant control, and so on. These are real-time system and their correct functioning is often critical to life and property.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Automated verification of concurrent programs for embedded systems
  • 批准号：
    183856-2010
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.82万
  • 财政年份：
    2016
  • 负责人：
    Norvell, Theodore
  • 依托单位：
    Memorial University of Newfoundland
Automated verification of concurrent programs for embedded systems
  • 批准号：
    183856-2010
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.82万
  • 财政年份：
    2012
  • 负责人：
    Norvell, Theodore
  • 依托单位：
    Memorial University of Newfoundland
Automated verification of concurrent programs for embedded systems
  • 批准号：
    183856-2010
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.82万
  • 财政年份：
    2011
  • 负责人：
    Norvell, Theodore
  • 依托单位：
    Memorial University of Newfoundland
Automated verification of concurrent programs for embedded systems
  • 批准号：
    183856-2010
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.82万
  • 财政年份：
    2010
  • 负责人：
    Norvell, Theodore
  • 依托单位：
    Memorial University of Newfoundland
海外基金