课题基金 / 基金详情

A framework ofr the development of secure safety critical systems

A framework ofr the development of secure safety critical systems
安全关键系统的开发框架
批准号:
3552-2005
负责人:
Alagar, Vangalur
金额:
$2.55万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2008
资助国家:
加拿大
项目状态:
已结题
起止时间:
2008-01-01 至 2009-12-31

项目摘要

项目成果

Alagar, Vangalur的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Cyber-Physical Systems - Formal Modeling, Design, and Verification
  • 批准号:
    RGPIN-2015-05607
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.31万
  • 财政年份:
    2019
  • 负责人:
    Alagar, Vangalur
  • 依托单位:
Cyber-Physical Systems - Formal Modeling, Design, and Verification
  • 批准号:
    RGPIN-2015-05607
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.31万
  • 财政年份:
    2018
  • 负责人:
    Alagar, Vangalur
  • 依托单位:
Cyber-Physical Systems - Formal Modeling, Design, and Verification
  • 批准号:
    RGPIN-2015-05607
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.31万
  • 财政年份:
    2017
  • 负责人:
    Alagar, Vangalur
  • 依托单位:
Cyber-Physical Systems - Formal Modeling, Design, and Verification
  • 批准号:
    RGPIN-2015-05607
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.31万
  • 财政年份:
    2016
  • 负责人:
    Alagar, Vangalur
  • 依托单位:
国内基金
海外基金
活性氧对呼吸道上皮旁分泌功能及肺β受体的影响
  • 批准号:
    39470304
  • 项目类别:
    面上项目
  • 资助金额:
    7.0万元
  • 批准年份:
    1994
  • 负责人:
    陈剑雄
  • 依托单位:
OFR对内皮细胞表达sis基因和修饰LDL介导作用与防治
  • 批准号:
    39200151
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    4.7万元
  • 批准年份:
    1992
  • 负责人:
    廖端芳
  • 依托单位: