10.3969/j.issn.1000-3428.2002.11.097
计算机网络通信协议验证技术的研究
协议设计、开发的复杂性的增加导致了协议工程技术的出现,该文主要介绍了协议工程活动中的协议验证与分析阶段,阐述了验证技术的目的与方法,分析了当今常用的协议模型技术,重点介绍了基于Petri网、FMS、以及时序逻辑TL模型的协议验证技术.
计算机网络、协议、协议工程、协议验证、Petri网
28
TP393.04(计算技术、计算机技术)
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
251-252,272