文件名称:olsr
介绍说明--下载内容均来自于网络,请自行研究使用
用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
....\ca-olsr.cpn
....\output\logfiles\Marking_size_trans'idle_1.log
....\......\logfiles
....\output
olsr
....\ca-olsr.cpn
....\output\logfiles\Marking_size_trans'idle_1.log
....\......\logfiles
....\output
olsr