10.3969/j.issn.1000-3428.2004.02.050
用于通信网络协议开发的形式化方法
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、 ESTELLE、Petri网、LOTOS,并给出了对这些形式化方法的分析和评价.
协议工程、形式化方法、形式描述技术、SDL、ESTELLE、Petri网、LOTOS
30
TP311(计算技术、计算机技术)
2004-03-26(万方平台首次上网日期,不代表论文的发表时间)
共3页
129-130,134