Design of object-oriented, concurrent real-time systems
Design of object-oriented, concurrent real-time systems
批准号:
170458-1999
负责人:
Leue, Stefan
金额:
$1.22万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
1999
资助国家:
加拿大
项目状态:
已结题
起止时间:
1999-01-01 至 2000-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Design of object-oriented, concurrent real-time systems
-
批准号:170458-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.21万
-
财政年份:2000
-
负责人:Leue, Stefan
-
依托单位:
Software requirements engineering and design based on message sequence charts
-
批准号:193706-1996
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$1.02万
-
财政年份:1999
-
负责人:Leue, Stefan
-
依托单位:
Software requirements engineering and design based on message sequence charts
-
批准号:193706-1996
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$1.52万
-
财政年份:1998
-
负责人:Leue, Stefan
-
依托单位:
Software reliability engineering based on formal methods
-
批准号:170458-1995
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.3万
-
财政年份:1998
-
负责人:Leue, Stefan
-
依托单位:
Software reliability engineering based on formal methods
-
批准号:170458-1995
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.18万
-
财政年份:1997
-
负责人:Leue, Stefan
-
依托单位:
Software requirements engineering and design based on message sequence charts
-
批准号:193706-1996
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$1.52万
-
财政年份:1997
-
负责人:Leue, Stefan
-
依托单位:
Software reliability engineering based on formal methods
-
批准号:170458-1995
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.18万
-
财政年份:1996
-
负责人:Leue, Stefan
-
依托单位:
Software reliability engineering based on formal methods
-
批准号:170458-1995
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.18万
-
财政年份:1995
-
负责人:Leue, Stefan
-
依托单位:
国内基金
海外基金
登录
查看更多内容
关于图像处理模型的目标函数构造及其数值方法研究
-
批准号:11071228
-
项目类别:面上项目
-
资助金额:32.0万元
-
批准年份:2010
-
负责人:郭晓霞
-
依托单位:
基于受管理运行时系统的大型软件内存泄漏论问题及解决方法研究
-
批准号:61073010
-
项目类别:面上项目
-
资助金额:34.0万元
-
批准年份:2010
-
负责人:史晓华
-
依托单位:
应用ISOCS监测侵蚀区土壤中137Cs,210Pbex,7Be的适用性
-
批准号:40701099
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2007
-
负责人:张晴雯
-
依托单位:
面向对象软件规格说明的形式化验证与确认
-
批准号:60373072
-
项目类别:面上项目
-
资助金额:24.0万元
-
批准年份:2003
-
负责人:缪淮扣
-
依托单位: