| 通信协议的形式描述及自动实现技术 |
| |
| 引用本文： | 李腊元 朱以文. 通信协议的形式描述及自动实现技术[J]. 小型微型计算机系统, 1995, 16(4): 39-47 |
| |
| 作者姓名： | 李腊元 朱以文 |
| |
| 作者单位： | 武汉交通科技大学，武汉水利电力大学 |
| |
| 摘 要： | 在通信协议工程的主要开发作业中，形式描述和自动实现扮演着重要的角色。本文主要研讨通信协议的形式描述及自动实现技术。文中论述了协议的典型形式描述技术，主要包括半形式描述技术；ＡＳＮ．１和ＴＴＣＮ．标准形式描述技术：Ｅｓｔｅｌｌｅ，ＬＯＴＯＳ和ＳＤＬ。
|
| 关 键 词： | 通信协议 形式描述 自动实现 |
FORMAL DESCRIPTION AND AUTOMATIC IMPLEMENTATION TECHNIQUES OF COMMUNICATION PROTOCOL |
| |
| Li Layuan, Zhu Yiwen, Wei Qingru. FORMAL DESCRIPTION AND AUTOMATIC IMPLEMENTATION TECHNIQUES OF COMMUNICATION PROTOCOL[J]. Mini-micro Systems, 1995, 16(4): 39-47 |
| |
| Authors: | Li Layuan Zhu Yiwen Wei Qingru |
| |
| Abstract: | |
| |
| Keywords: | Protocol FDT Automatic implementation |
| 本文献已被 CNKI 维普 等数据库收录！ |
