IPV6邻居发现协议

作品数：11被引量：21H指数：3
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：孙静波叶新铭唐述科孙美飞郝松侠更多>>
相关机构：内蒙古大学南京邮电大学西安电子科技大学中国科学院更多>>
相关期刊：《软件学报》《科技广场》《计算机工程》《信号处理》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划内蒙古自治区科技厅科技攻关项目江苏省高校自然科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
IPv6邻居发现协议的形式化验证被引量：1
《软件学报》2005年第6期1182-1189,共8页叶新铭 郝松侠 
国家自然科学基金;内蒙古科技攻关项目~~
采用模型检查技术,对IPv6的邻居发现协议的属性进行了形式化验证.该协议的模型由目前广泛用于设计和描述通信协议的MSC(messagesequencecharts)来描述,并通过线性时序逻辑说明该协议的属性.还提出了由MSC模型的线性化自动抽取协议属性...
关键词：消息序列表 模型检查 形式化验证 自动机理论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部