通信顺序进程的扩充及其在协议形式化技术中的应用
Saved in:
Main Authors: | 顾翔, 赵保华, 屈玉贵 |
---|---|
Format: | Article |
Language: | zho |
Published: |
Editorial Department of Journal on Communications
2004-01-01
|
Series: | Tongxin xuebao |
Online Access: | http://www.joconline.com.cn/zh/article/74359686/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
一种通信协议测试序列生成的新方法
by: 孙宇霖, et al.
Published: (2001-01-01) -
利用半可控接口进行通信协议一致性测试
by: 吴慧萍, et al.
Published: (2003-01-01) -
进程创建顺序的行为波动效应分析
by: 杨放春, et al.
Published: (1991-01-01) -
一种适于小型节点机的通信协议及其形式描述
by: 季平
Published: (1986-01-01) -
基于形式化技术的帧中继拥塞控制协议一致性测试
by: 韩博, et al.
Published: (2002-01-01)