云南高校图书馆联盟文献共享服务平台- IPV6邻居发现协议

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

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

IPv6邻居发现协议的一致性测试被引量：3: 《计算机科学》2005年第6期43-46,68,共5页叶新铭孙美飞; 国家自然科学基金(69863001);内蒙重点领域项目(ZL9902); Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式...; 关键词：邻居发现 Windows2000 Discovery 下一代互联网协议协议一致性测试 IPv6协议形式化方法有限状态机组成部分 TTCN 描述语言测试报告测试例序列图测试集