并发系统Promela建模、SPIN的使用 上传者：weizhuo32219 2020-05-17 05:22:04上传 APPLICATION/X-RAR文件 216KB 热度 32次 并发系统Promela语法规则，并发系统建模和SPIN的使用 下载地址 用户评论 更多下载 下载地址 立即下载 收藏 腾讯 微博 用户评论 码姐姐匿名网友 2020-05-17 05:22:04 内容还行，归纳一般 码姐姐匿名网友 2020-05-17 05:22:04 文档很全，格式是mht，但是主要的三个关于Promela建模、SPIN的使用的文件生成了pdf格式，很好。 码姐姐匿名网友 2020-05-17 05:22:04 介绍比较详细，各种协议的的建模也分析得仔细~ 码姐姐匿名网友 2020-05-17 05:22:04 挺详细的资料,感觉和好多论文上的内容差不多 码姐姐匿名网友 2020-05-17 05:22:04 格式是网页的。汉语。从语言介绍到模型分析 挺全的。后边儿是扩展吧。。还有密码协议和petri网之类 发表评论 weizhuo32219 资源：1 粉丝：0 +关注 上传资源 免责说明 本站只是提供一个交换下载平台，下载的内容为本站的会员网络搜集上传分享交流使用,有完整的也有可能只有一分部,相关内容的使用请自行研究,主要是提供下载学习交流使用,一般不免费提供其它各种相关服务! 本站内容泄及的知识面非常广,请自行学习掌握,尽量自已动脑动手解决问题,实践是提高本领的途径,下载内容不代表本站的观点或立场!如本站不慎侵犯你的权益请联系我们,我们将马上处理撤下所有相关内容！联系邮箱：server@dude6.com
内容还行，归纳一般
文档很全，格式是mht，但是主要的三个关于Promela建模、SPIN的使用的文件生成了pdf格式，很好。
介绍比较详细，各种协议的的建模也分析得仔细~
挺详细的资料,感觉和好多论文上的内容差不多
格式是网页的。汉语。从语言介绍到模型分析 挺全的。后边儿是扩展吧。。还有密码协议和petri网之类