|国家科技期刊平台
| 注册
首页|期刊导航|南京邮电大学学报（自然科学版）|MANET路由协议的正确性分析

MANET路由协议的正确性分析

杨华兵 张兴元 王元元

南京邮电大学学报（自然科学版）2007，Vol.27Issue(2)：15-19,5.
✕
南京邮电大学学报（自然科学版）2007，Vol.27Issue(2)：15-19,5.

MANET路由协议的正确性分析

Correctness Analysis of MANET Routing Protocols

杨华兵 1张兴元 1王元元1

作者信息

  • 1. 解放军理工大学,指挥自动化学院,江苏,南京,210007
  • 折叠

摘要

关键词

MANET/路由协议/形式验证/正确性

分类

信息技术与安全科学

引用本文复制引用

杨华兵,张兴元,王元元..MANET路由协议的正确性分析[J].南京邮电大学学报（自然科学版）,2007,27(2):15-19,5.

基金项目

国家自然科学基金(60373068)资助项目 （60373068）

南京邮电大学学报（自然科学版）

OACSTPCD

1673-5439

访问量0
|
下载量0
段落导航相关论文