您的位置： 专家智库 > >

中央级公益性科研院所基本科研业务费专项(56076S-1524)

作品数：1 被引量：17H指数：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