基于形式化技术的高速网通信协议集成测试环境研究

批准号：

69682002

项目类别：

专项基金项目

资助金额：

14.5 万元

负责人：

吴建平

依托单位：

清华大学

学科分类：

通信网络

结题年份：

1999

批准年份：

1996

项目状态：

已结题

项目参与者：

吴建平、杨家海、毕军、郝瑞兵、徐明伟、尹霞、熊永强、王建国、范晓勃、陈立宇

关键词：

测试环境高速网通信协议测试形式化技术

吴建平的其他基金

相似基金

相关文献

新一代互联网络体系结构与协议理论

批准号：

90704001
项目类别：

重大研究计划
资助金额：

100.0万元
批准年份：

2007
负责人：

吴建平
依托单位：

清华大学

下一代互联网络体系结构及其协议理论研究

批准号：

90104002
项目类别：

重大研究计划
资助金额：

200.0万元
批准年份：

2001
负责人：

吴建平
依托单位：

清华大学

新一代高速计算机网络的协议测试理论研究

批准号：

69473011
项目类别：

面上项目
资助金额：

7.0万元
批准年份：

1994
负责人：

吴建平
依托单位：

清华大学

协议工程学关键技术:一致性测试序列生成管理环境研究

批准号：

69073318
项目类别：

面上项目
资助金额：

3.0万元
批准年份：

1990
负责人：

吴建平
依托单位：

清华大学

国内基金

海外基金