高大永
【姓名】 高大永
【职称】
【研究领域】 电信技术;计算机软件及计算机应用;互联网技术;
【研究方向】
【发表文献关键词】 移动性,形式化描述,模型检测,逻辑表达式,约束条件,检测结果,协议系统,检测工具,形式化方法,结合模型,自动机模型,实时模型,网络,时间自动机,路径,系统建立,路由器,形式化建模,数据包,模型表示,
【工作单位】 北京邮电大学
【曾工作单位】 北京邮电大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/6 1 2 0 2 171
中国期刊全文数据库    共找到1篇
[1]张冬梅,马华东,高大永.基于Uppaal的移动IPv6协议的模型检测[J]北京邮电大学学报.2005,(04)
更多