This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,va......

随着IP网络多播技术的发展.IGMP在IP协议栈中的作用越来越重要.在对IGMP详细的机制分析的基础上用扩展的有限自动机和扩展的库所/......

本文介绍了协议工程学的基本概念，以及多媒体研究热之一的电视会议系统，并对其中的实时控制协议了研究。介绍了电视实时控制协议的目......

文中在对IGMP详细的机制分析的基础上用扩展的库所 变迁网对其进行了形式化的描述 ,从而奠定了IGMP协议分析和具体实现的基础。......

文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所/变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化......

协议测试已经成为计算机网络和分布系统协议中最的领域之一。近年来，协议一致性测试技术得到了很好的发展和完善，与此同时，互操作测试......