|
|||||
|
|
| 网络通信协议形式化描述与验证技术的研究 | |
| 引用本文： | 肖德琴,沈勇.网络通信协议形式化描述与验证技术的研究[J].重庆师范学院学报,1997,14(2):69-75. |
| 作者姓名： | 肖德琴 沈勇 |
| 摘 要： | 首先概述当今常用的协议模型技术；然后重点剖析基于ＦＳＭ、Ｐｅｔｒｉ网和ＴＬ模型的协议形式化描述与验证技术的研究现状；最后介绍了一种最新协议描述技术－Ｚ协议技术。此外，本文还对这四种协议形式化技术各自的特点发表了作者的观点。 |
| 关 键 词： | 计算机网络 通信协议 协议描述 协议验证 |
| 本文献已被 维普 等数据库收录！ | |