科技情报开发与经济
科技情報開髮與經濟
과기정보개발여경제
SCI/TECH INFORMATION DEVELOPMENT & ECONOMY
2008年
12期
152-153
,共2页
移动自组网%路由协议%形式化分析
移動自組網%路由協議%形式化分析
이동자조망%로유협의%형식화분석
对自组网路由协议的性能测试和形式化分析这两种主要的验证方法进行了比较,分析了自组网路由协议的形式化分析特性,给出了协议形式化分析方案的框架.
對自組網路由協議的性能測試和形式化分析這兩種主要的驗證方法進行瞭比較,分析瞭自組網路由協議的形式化分析特性,給齣瞭協議形式化分析方案的框架.
대자조망로유협의적성능측시화형식화분석저량충주요적험증방법진행료비교,분석료자조망로유협의적형식화분석특성,급출료협의형식화분석방안적광가.