文件名称:olsr
-
所属分类：
- 标签属性：
- 上传时间：2012-11-16
-
文件大小：4.53kb
-
已下载：0次
-
提 供 者：
-
相关连接：无
-
下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
用CPNTools对CA-OLSR协议建模及分析，用的是ML语言，用以证明协议的正确性-CA-OLSR with CPNTools agreement on the modeling and analysis, using the ML language, to prove the correctness of the agreement
(系统自动生成,下载前可以参看下载内容)
下载文件列表
olsr/QosMPRselection.cpn
olsr/ca-olsr.cpn
olsr/output/logfiles/Marking_size_trans'idle_1.log
olsr/output/logfiles
olsr/output
olsr
olsr/ca-olsr.cpn
olsr/output/logfiles/Marking_size_trans'idle_1.log
olsr/output/logfiles
olsr/output
olsr