您当前的位置：
首页 >
文章列表页 >
基于形式化技术的帧中继拥塞控制协议一致性测试
更新时间：2024-10-14
|

    • 基于形式化技术的帧中继拥塞控制协议一致性测试

    • 暂无标题

    • 通信学报   2002年第11期 页码：86-91
    • 中图分类号： TP393.03

    • 纸质出版日期：2002

    移动端阅览

  • [1]韩博,姬雷生,尹霞.基于形式化技术的帧中继拥塞控制协议一致性测试[J].通信学报,2002(11):86-91. DOI：

  •  
  •  

0

浏览量

70

下载量

6

CSCD

文章被引用时，请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

路由协议测试研究——边界网关路由协议BGP-4测试
用于协议一致性测试序列生成的状态规范化算法
基于TTCN的测试执行方法及其应用

相关作者

赵邑新
吴建平
韩博
倪群
苏彤
程时端
郝瑞兵
吴建平

相关机构

  清华大学计算机系!北京100084  
中科院计算所
北京邮电大学
中科院计算所北京邮电大学
  清华大学  
0