This paper presents a new hybrid model called FCA for communication protocol formal description.
本文提出了适用于通信协议形式描述的一种新的混合模型，文中称之为FCA混合模型。
The foundation of a protocol normal running state model comprises the examination of a protocol formal description expression and the making of a correlation protocol state machine;
协议正常运行状态模型的 建立包括协议形式化描述语法的检查和相关协议状态机的生成；
Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
应用推荐