基于形式化技术的高速网通信协议集成测试环境研究
基本信息
批准号：69682002
项目类别：专项基金项目
资助金额：14.50
负责人：吴建平
学科分类：
依托单位：清华大学
批准年份：1996
结题年份：1999
起止时间：1997-01-01 - 1999-12-31
项目状态： 已结题
项目参与者：吴建平,杨家海,毕军,郝瑞兵,徐明伟,尹霞,熊永强,王建国,范晓勃,陈立宇
关键词：
测试环境高速网通信协议测试形式化技术
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
涡度相关技术及其在陆地生态系统通量研究中的应用
涡度相关技术及其在陆地生态系统通量研究中的应用
DOI：10.17521/cjpe.2019.0351
发表时间：2020
2
论大数据环境对情报学发展的影响
论大数据环境对情报学发展的影响
DOI：
发表时间：2017
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
5
端壁抽吸控制下攻角对压气机叶栅叶尖 泄漏流动的影响
端壁抽吸控制下攻角对压气机叶栅叶尖 泄漏流动的影响
DOI：
发表时间：2020
吴建平的其他基金
批准号：61379022
批准年份：2013
资助金额：58.00
项目类别：面上项目
批准号：69073318
批准年份：1990
资助金额：3.00
项目类别：面上项目
批准号：41774102
批准年份：2017
资助金额：70.00
项目类别：面上项目
批准号：69473011
批准年份：1994
资助金额：7.00
项目类别：面上项目
批准号：30960164
批准年份：2009
资助金额：24.00
项目类别：地区科学基金项目
批准号：60803039
批准年份：2008
资助金额：21.00
项目类别：青年科学基金项目
批准号：90104002
批准年份：2001
资助金额：200.00
项目类别：重大研究计划
批准号：60175005
批准年份：2001
资助金额：18.00
项目类别：面上项目
批准号：30370220
批准年份：2003
资助金额：22.00
项目类别：面上项目
批准号：81870935
批准年份：2018
资助金额：56.00
项目类别：面上项目
批准号：49874021
批准年份：1998
资助金额：16.00
项目类别：面上项目
批准号：31200406
批准年份：2012
资助金额：20.00
项目类别：青年科学基金项目
批准号：41907289
批准年份：2019
资助金额：26.00
项目类别：青年科学基金项目
批准号：49504053
批准年份：1995
资助金额：10.50
项目类别：青年科学基金项目
批准号：41374097
批准年份：2013
资助金额：90.00
项目类别：面上项目
批准号：50322283
批准年份：2003
资助金额：23.00
项目类别：联合基金项目
批准号：40774038
批准年份：2007
资助金额：40.00
项目类别：面上项目
批准号：90704001
批准年份：2007
资助金额：100.00
项目类别：重大研究计划
批准号：31570444
批准年份：2015
资助金额：63.00
项目类别：面上项目
批准号：41875121
批准年份：2018
资助金额：62.00
项目类别：面上项目
批准号：41074068
批准年份：2010
资助金额：55.00
项目类别：面上项目
相似国自然基金
1
保密通信协议的形式化研究
批准号：68800301
批准年份：1988
负责人：何敬民
学科分类：F0206
资助金额：4.00
项目类别：青年科学基金项目
2
面向UML的形式化测试技术
批准号：69973051
批准年份：1999
负责人：王戟
学科分类：F0203
资助金额：12.00
项目类别：面上项目
3
多方多维量子安全通信协议及其形式化验证
批准号：61103235
批准年份：2011
负责人：刘文杰
学科分类：F0206
资助金额：25.00
项目类别：青年科学基金项目
4
基于广义折叠技术的集成电路测试关键技术研究
批准号：61306046
批准年份：2013
负责人：詹文法
学科分类：F0402
资助金额：25.00
项目类别：青年科学基金项目