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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(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
-
依托单位:
Cyber-Physical Systems - Formal Modeling, Design, and Verification
-
批准号:RGPIN-2015-05607
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.31万
-
财政年份:2015
-
负责人:Alagar, Vangalur
-
依托单位:
A framework for the development of a family of trustworthy systems
-
批准号:3552-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2011
-
负责人:Alagar, Vangalur
-
依托单位:
A framework for the development of a family of trustworthy systems
-
批准号:3552-2010
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2010
-
负责人:Alagar, Vangalur
-
依托单位:
A framework ofr the development of secure safety critical systems
-
批准号:3552-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.55万
-
财政年份:2009
-
负责人:Alagar, Vangalur
-
依托单位:
A framework ofr the development of secure safety critical systems
-
批准号:3552-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.55万
-
财政年份:2007
-
负责人:Alagar, Vangalur
-
依托单位:
A framework ofr the development of secure safety critical systems
-
批准号:3552-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.55万
-
财政年份:2006
-
负责人:Alagar, Vangalur
-
依托单位:
A framework ofr the development of secure safety critical systems
-
批准号:3552-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.55万
-
财政年份:2005
-
负责人:Alagar, Vangalur
-
依托单位:
A formal framework for the development of real-time and hybrid systems
-
批准号:3552-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.48万
-
财政年份:2004
-
负责人:Alagar, Vangalur
-
依托单位:
A formal framework for the development of real-time and hybrid systems
-
批准号:3552-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.48万
-
财政年份:2003
-
负责人:Alagar, Vangalur
-
依托单位:
A formal framework for the development of real-time and hybrid systems
-
批准号:3552-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.48万
-
财政年份:2002
-
负责人:Alagar, Vangalur
-
依托单位:
A formal framework for the development of real-time and hybrid systems
-
批准号:3552-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.48万
-
财政年份:2001
-
负责人:Alagar, Vangalur
-
依托单位:
TROMER: Timed reactive object models extended to reuse
-
批准号:3552-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.85万
-
财政年份:2000
-
负责人:Alagar, Vangalur
-
依托单位:
TROMER: Timed reactive object models extended to reuse
-
批准号:3552-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.85万
-
财政年份:1999
-
负责人:Alagar, Vangalur
-
依托单位:
TROMER: Timed reactive object models extended to reuse
-
批准号:3552-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.76万
-
财政年份:1998
-
负责人:Alagar, Vangalur
-
依托单位:
TROMER: Timed reactive object models extended to reuse
-
批准号:3552-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:1997
-
负责人:Alagar, Vangalur
-
依托单位:
An investigation of critical research issues in the development and synthesis of complex software systems
-
批准号:3552-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:1996
-
负责人:Alagar, Vangalur
-
依托单位:
国内基金
海外基金
活性氧对呼吸道上皮旁分泌功能及肺β受体的影响
-
批准号:39470304
-
项目类别:面上项目
-
资助金额:7.0万元
-
批准年份:1994
-
负责人:陈剑雄
-
依托单位:
OFR对内皮细胞表达sis基因和修饰LDL介导作用与防治
-
批准号:39200151
-
项目类别:青年科学基金项目
-
资助金额:4.7万元
-
批准年份:1992
-
负责人:廖端芳
-
依托单位: