首页> 中文期刊> 《微电子学与计算机》 >基于Estelle的协议形式描述技术

基于Estelle的协议形式描述技术

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文讨论基于Estelle的协议形式描述技术。文中描述了Estelle的基本原理,并结合一个简单传输协议实例讨论了该形式描述技术的应用。

著录项

来源
《微电子学与计算机》 |1991年第11期||共页
作者
李腊元;
展开▼
作者单位

武汉水运工程学院武昌;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
计算机网络; 协议描述; Estelle;

相似文献

中文文献
外文文献
专利

1. Estelle：通信协议的一种形式描述技术及应用 [J] . 李腊元 . 计算机应用与软件 . 1992,第4期
2. 协议形式描述语言Estelle的交互生成方法 [J] . 张尧学 ,肖淑男 ,史美林 . 计算机研究与发展 . 1993,第1期
3. 基于FSM的通信协议形式描述与验证技术 [J] . 李腊元 . 系统工程与电子技术 . 1990,第9期
4. 一个基于属性文法的通信协议形式描述语言及协议开发环境 [J] . 房鼎益 ,安娜 . 计算机应用与软件 . 2000,第8期
5. 基于ESTELLE的网络协议建模方法 [J] . 李国庆 ,安建平 ,杨杰 . 电子学报 . 2007,第4期
6. 从协议Petri网到Estelle的转换 [C] . 罗军舟 ,杨晓燕 . 第九届全国Petri网学术年会 . 2003
7. 基于进程算子的IP协议形式描述 [A] . 姜春艳 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号