2024年8月30日
星期五
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
邹彪
作品数:
1
被引量:17
H指数:1
供职机构:
中国石油大学(北京)地球物理与信息工程学院计算机科学与技术系
更多>>
发文基金:
国家自然科学基金
中央级公益性科研院所基本科研业务费专项
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
朱雪峰
地球探测与信息技术北京市重点实...
张哲
中国石油大学北京地球物理与信息...
许建军
中国标准化研究院
孙雷
地球探测与信息技术北京市重点实...
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
形式化
1篇
形式化方法
1篇
网络
1篇
网络协议
机构
1篇
中国石油大学...
1篇
地球探测与信...
1篇
中国标准化研...
作者
1篇
孙雷
1篇
许建军
1篇
张哲
1篇
朱雪峰
1篇
邹彪
传媒
1篇
计算机科学
年份
1篇
2009
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
网络协议一致性测试研究综述
被引量:17
2009年
一致性测试是网络协议验证中最为基本的部分。虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成技术等方面对协议一致性测试技术进行了综合研究,最后对其中存在的问题给出了基本解决思路。
朱雪峰
许建军
邹彪
张哲
孙雷
关键词:
网络协议
形式化方法
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张