会议论文《基于Petri网的SIP协议一致性测试》发表于中国教育和科研计算机网CERNET第十七届学术年会。该文提出利用Petri网模型对SIP协议进行一致性测试，通过形式化方法确保协议实现与规范的一致性。研究有助于提高通信协议的可靠性与互操作性，为网络协议验证提供了有效手段。
文档为pdf格式，0.26MB，总共5页。
举报
