首页> 中文期刊> 《计算机应用与软件》 >计算机网络协议的形式模型研究

计算机网络协议的形式模型研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

本文讨论了计算机网络协议的一种抽象形式模型。文中利用该模型对该通信协议的某些重要概念及性质进行了定义和形式描述，研讨了某些典型形式描述技术：Ｐｅｔｒｉ网，ＬＯＴＯＳ和关系表示法之间的语义联系。

著录项

来源
《计算机应用与软件》 |1996年第6期|1-723|共8页
作者
李腊元;
展开▼
作者单位

武汉交通科技大学;

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

相似文献

中文文献
外文文献
专利

1. 计算机网络协议形式描述与验证的应用研究 [J] . 李腊元 . 计算机杂志 . 1993,第001期
2. 网络协议设计中形式结构模型的创建方法研究 [J] . 王继曾 ,张键 . 计算机技术与发展 . 2004,第002期
3. 计算机网络协议的形式描述风格 [J] . 李腊元 . 计算机工程与设计 . 1994,第003期
4. 网络协议形式化模型的分析与应用 [J] . 张广泉 ,黄正宝 ,戎玫 . 计算机工程与应用 . 2005,第023期
5. 基于TCP/IP模型的计算机网络协议教学r实验设计与实现 [J] . 吴义三 . 牡丹江教育学院学报 . 2016,第004期
6. 计算机辅助电力工程勘测设计系统拟网络协议模型初探 [C] . 王端琦 . 中国工程图学学会计算机辅助设计.工程与管理学术会议 . 1995
7. 网络协议的形式化建模与基于模型检测的攻击发现 [A] . 孟国柱 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号