基于形式化技术的高速网通信协议集成测试环境研究
基本信息
批准号：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
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
2
二叠纪末生物大灭绝后Skolithos遗迹化石的古环境意义:以豫西和尚沟组为例
二叠纪末生物大灭绝后Skolithos遗迹化石的古环境意义:以豫西和尚沟组为例
DOI：10.7605/gdlxb.2022.03.033
发表时间：2022
3
混凝土SHPB试验技术研究进展
混凝土SHPB试验技术研究进展
DOI：10.3969/j.issn.1002-3550.2015.06.010
发表时间：2015
4
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
DOI：10.13191/j.chj.2017.0028
发表时间：2016
5
基于直觉模糊二元语义交互式群决策的技术创新项目选择
基于直觉模糊二元语义交互式群决策的技术创新项目选择
DOI：10.12005/orms.2019.0029
发表时间：2019
吴建平的其他基金
批准号：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
项目类别：青年科学基金项目