搜索筛选:
搜索耗时0.0883秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：郝松侠,
来源：内蒙古大学 年份：2003
随着网络和通信技术的高速发展,大量新的协议不断被提出.但是,到目前为止,Internet的协议标准RFC仍然使用自然语言描述,Internet的协议实现也主要是采用人工编制完成,这种协...
[期刊论文] 作者：叶新铭,郝松侠,
来源：软件学报 年份：2005
采用模型检查技术,对IPv6的邻居发现协议的属性进行了形式化验证.该协议的模型由目前广泛用于设计和描述通信协议的MSC(message sequence charts)来描述,并通过线性时序逻辑...
[期刊论文] 作者：郝松侠, 吴铁楠, 石立新, 叶新铭,,
来源：内蒙古大学学报(自然科学版) 年份：2002
简要介绍了在Linux测试平台下,如何实现IPv6基本协议(RFC2460)一致性测试,并给出了TTCN描述的测试例.最后讨论了在测试中要进一步开展的工作....
[期刊论文] 作者：吴铁楠,郝松侠,石立新,叶新铭,
来源：内蒙古大学学报(自然科学版) 年份：2002
介绍了如何用普通的PC机组建一个与路由无关的IPv6网络,并在其上实践IPv6协议.说明了如何组建测试IPv6协议所需的测试环境,并探讨协议的测试过程....
相关搜索：
