首页> 中文期刊> 《东南大学学报：自然科学版》 >协议描述和验证的基本方法

协议描述和验证的基本方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

简要说明了协议描述和验证的基本概念，示例性地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例．

著录项

来源
《东南大学学报：自然科学版》 |1996年第5期|1-4|共4页
作者
罗军舟; 顾冠群;
展开▼
作者单位

东南大学计算机科学与工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类国际互联网;
关键词
计算机网络; 协议描述; 协议验证; Petri网;

相似文献

中文文献
外文文献
专利

1. 作战系统网络通信协议描述与验证方法及实现 [J] . 李俊 ,李峰纲 ,高兴利 . 现代信息科技 . 2021,第003期
2. 作战系统网络通信协议描述与验证方法及实现 [J] . 李俊 ,李峰纲 ,高兴利 . 现代信息科技 . 2021,第003期
3. CRDT协议的TLA+描述与验证 [J] . 纪业 ,魏恒峰 ,黄宇 . 软件学报 . 2020,第005期
4. 基于SystemC的Cache一致性协议描述与验证 [J] . 张娅 . 数字技术与应用 . 2013,第005期
5. 基于SystemC的Cache一致性协议描述与验证 [J] . 张娅 . 数字技术与应用 . 2013,第005期
6. 颜色Petri网一种专有协议的描述和验证 [C] . 黄天福 ,白光伟 . 第十一届全国Petri网理论与应用学术年会 . 2007
7. 基于行为时序逻辑TLA的网络协议的描述与验证 [A] . 刘照洋 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号