An Interactive Generating Method for Protocol Formal Description Language Estelle

• 协议形式描述语言Estelle的交互生成方法