WORKSHOP: Component-based, Evolving Distributed Systems on October 4-7, 1999 in Santa Margherita Ligure, Italy
WORKSHOP: Component-based, Evolving Distributed Systems on October 4-7, 1999 in Santa Margherita Ligure, Italy
批准号:
9978580
负责人:
S. Iyer
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1999
资助国家:
美国
项目状态:
已结题
起止时间:
1999-06-01 至 2000-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Symbolic Representation Based Partial Order Methods
-
批准号:0204159
-
项目类别:Standard Grant
-
资助金额:$16.0万
-
财政年份:2002
-
负责人:S. Iyer
-
依托单位:
Workshop: Radical Innovations of Software and Systems Engineering in the Future
-
批准号:0224970
-
项目类别:Standard Grant
-
资助金额:$1.01万
-
财政年份:2002
-
负责人:S. Iyer
-
依托单位:
Automated Analysis of Probabilistic Open Systems
-
批准号:0098037
-
项目类别:Standard Grant
-
资助金额:$21.0万
-
财政年份:2001
-
负责人:S. Iyer
-
依托单位:
CISE Research Instrumentation: Analysis and Verification of Concurrent Systems
-
批准号:9422043
-
项目类别:Standard Grant
-
资助金额:$3.71万
-
财政年份:1995
-
负责人:S. Iyer
-
依托单位:
Analysis of Infinite State Systems
-
批准号:9404619
-
项目类别:Continuing Grant
-
资助金额:$9.03万
-
财政年份:1995
-
负责人:S. Iyer
-
依托单位:
Analysis of Coordination in Asynchronous Communication
-
批准号:9004121
-
项目类别:Continuing Grant
-
资助金额:$10.65万
-
财政年份:1990
-
负责人:S. Iyer
-
依托单位:
海外基金