协议规范、验证及测试的新发展(英文)
Saved in:
Main Author: | G.V.波赫曼 |
---|---|
Format: | Article |
Language: | zho |
Published: |
Editorial Department of Journal on Communications
1986-01-01
|
Series: | Tongxin xuebao |
Online Access: | http://www.joconline.com.cn/zh/article/74386326/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
用于协议一致性测试序列生成的状态规范化算法
by: 倪群, et al.
Published: (1997-01-01) -
一种通信协议测试序列生成的新方法
by: 孙宇霖, et al.
Published: (2001-01-01) -
基于知识的协议验证方法
by: 张伟, et al.
Published: (1993-01-01) -
北斗为源的PTP精确时钟协议用于5G基站精确授时的测试验证
by: 方鸣, et al.
Published: (2023-05-01) -
网络支付协议的形式化安全需求及验证逻辑
by: 刘怡文, et al.
Published: (2004-01-01)