北京邮电大学学报

  • EI核心期刊
基于Uppaal的移动IPv6协议的模型检测
张冬梅，马华东，高大永
Automatic Verification of Mobile IPv6 Using Uppaal
HANG Dongmei,MA Huadong,GAO Dayong
北京邮电大学学报 . 2005, (4): 45 -49 .  DOI: 10.13190/jbupt.200504.45.zhangdm

版权所有 © 2018 《北京邮电大学学报》编辑部 京ICP备14033833号     在线人数：今日访问 当前在线 总访问

通信地址：北京市海淀区西土城路10号北京邮电大学195信箱    邮编：100876    电话：(010)62281995    QQ：307514248    微博    留言    电子邮箱：byxb@bupt.edu.cn