摘要
本文讨论基于Estelle的协议形式描述技术。文中描述了Estelle的基本原理,并结合一个简单传输协议实例讨论了该形式描述技术的应用。
This paper discusses a formal descriptiontechnique based on Estelle for protocol.Mainprinciples of Estelle are described,As anexample,a simple transport protocol thathas been specified using Estelle,ispresented.
出处
《微电子学与计算机》
CSCD
北大核心
1991年第11期34-37,40,共5页
Microelectronics & Computer
