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;
协议正常运行状态模型的建立包括协议形式化描述语法的检查和相关协议状态机的生成；
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;
协议正常运行状态模型的建立包括协议形式化描述语法的检查和相关协议状态机的生成；
应用推荐