您当前的位置：
首页 >
文章列表页 >
通信顺序进程的扩充及其在协议形式化技术中的应用
更新时间：2024-10-14
|

    • 通信顺序进程的扩充及其在协议形式化技术中的应用

    • 暂无标题

    • 通信学报   2004年第2期 页码：43-50
    • 中图分类号： TP311.52

    • 纸质出版日期：2004

    移动端阅览

  • [1]顾翔,赵保华,屈玉贵.通信顺序进程的扩充及其在协议形式化技术中的应用[J].通信学报,2004(02):43-50. DOI：

  •  
  •  

0

浏览量

205

下载量

2

CSCD

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

相关文章

基于知识的协议验证方法
利用逆向判定性缩短EFSM的测试序列的长度
一种通信协议测试序列生成的新方法
路由协议测试研究——边界网关路由协议BGP-4测试
一种改进的BGP路由策略冲突检测方案

相关作者

张伟
刘积仁
李华天
周晓煜
屈玉贵
赵保华
孙宇霖
屈玉贵

相关机构

  辽宁大学计算机系  
  东北大学计算机系  
  东北大学计算机系 教授沈阳 110036  
  沈阳 110006  
  中国科技大学计算机系!安徽合肥230027  
0