文件名称：PROMELA语言描述 协议分析（停等，AB）报告
文件大小：132KB
文件格式：DOC
更新时间：2015-07-08 16:27:41
网络协议 PROMELA语言
本文档包含停止等待协议以及AB协议的PROMELA语言描述，帮助我们理解上述两个协议有很大的帮助。
PROMELA语言描述 协议分析（停等，AB）报告
【文件属性】：
网友评论
- 还行，适合初学者
- 简单易懂 谢谢楼主
- 对于初学者而言，很好的教程，收藏了 谢谢楼主！
- 程序没什么问题，可以做为参考
- 还行，不过不是很完整 初学好材
- 简单例子，代码是promela写的，可以在spin下运行。
- 挺简单的，适合新手上路
- 还行，不过不是很完整
- 好用！实验不愁了...
- 简单易懂，初学好材。