通信协议工程学进展
The Progress on Communication Protocol Engineering Methodology
-
摘要: 本文讨论通信协议工程学中的协议开发生命周期,协议的典型开发阶段,其中包括协议形式描述、协议验证、协议实现、协议一致性测试,以及主要研究方向。Abstract: This paper discusses the protocol development life cycle,main development phases inclu- ding formal description,verification,implementation and conformance test,and the ongoing research directions for communication protocol engineering methodology.
下载: