高冠龙
【姓名】 高冠龙
【职称】
【研究领域】 计算机软件及计算机应用;互联网技术;
【研究方向】
【发表文献关键词】 时间自动机,网络协议,协议验证,形式化方法,潜在错误,自动验证,验证方法,有限状态机,时钟变量,工具,验证协议,形式描述,规范说明,复杂性,验证过程,实时系统,状态空间,时序逻辑,站点,令牌,
【工作单位】 郑州大学
【曾工作单位】 郑州大学;
【所在地域】 河南郑州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 1 0 2 25 721
中国期刊全文数据库    共找到1篇
[1]高冠龙;周清雷;.时间自动机与网络协议验证[J]计算机工程.2006,(22)
更多
中国优秀硕士学位论文全文数据库    共找到1篇