an integrated environment for fault injection testing in middleware-based distributed applications
an integrated environment for fault injection testing in middleware-based distributed applications
批准号:
263014-2003
负责人:
Chen, XiaoJun
金额:
$1.4万
依托单位:
依托单位国家:
加拿大
项目类别:
Research Tools and Instruments - Category 1 (<$150,000)
财政年份:
2002
资助国家:
加拿大
项目状态:
已结题
起止时间:
2002-01-01 至 2003-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Advancing the applicability of model checking and FSM-based testing techniques to complex software systems
-
批准号:203248-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.81万
-
财政年份:2007
-
负责人:Chen, XiaoJun
-
依托单位:
Advancing the applicability of model checking and FSM-based testing techniques to complex software systems
-
批准号:203248-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.81万
-
财政年份:2006
-
负责人:Chen, XiaoJun
-
依托单位:
Improving quality of concurrent and distributed systems by combining testing and formal verification
-
批准号:203248-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2005
-
负责人:Chen, XiaoJun
-
依托单位:
Improving quality of concurrent and distributed systems by combining testing and formal verification
-
批准号:203248-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2004
-
负责人:Chen, XiaoJun
-
依托单位:
Improving quality of concurrent and distributed systems by combining testing and formal verification
-
批准号:203248-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2003
-
负责人:Chen, XiaoJun
-
依托单位:
Improving quality of concurrent and distributed systems by combining testing and formal verification
-
批准号:203248-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2002
-
负责人:Chen, XiaoJun
-
依托单位:
Formal methods towards correct software design in concurrent systems
-
批准号:203248-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:2000
-
负责人:Chen, XiaoJun
-
依托单位:
Formal methods towards correct software design in concurrent systems
-
批准号:203248-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:1999
-
负责人:Chen, XiaoJun
-
依托单位:
Formal methods towards correct software design in concurrent systems
-
批准号:203248-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.52万
-
财政年份:1998
-
负责人:Chen, XiaoJun
-
依托单位:
国内基金
海外基金
力学环境对骨愈合初期的新生血管形成图式的影响研究
-
批准号:11072021
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2010
-
负责人:赵峰
-
依托单位:
高臭氧浓度下水稻颖花和粒重形成受阻及其成因-FACE研究
-
批准号:30871486
-
项目类别:面上项目
-
资助金额:29.0万元
-
批准年份:2008
-
负责人:杨连新
-
依托单位:
蛋鸡啄羽相残行为的研究:基于社会性气味识别的控制对策
-
批准号:30770289
-
项目类别:面上项目
-
资助金额:8.0万元
-
批准年份:2007
-
负责人:赵亚军
-
依托单位: