李腊元 张伟 姜春艳 顾冠群 沈俊 seueducn 张尧学 苗志锋 罗军舟 李华天 孙昊 刘积仁 史美林 肖淑男 王继增

协议工程 自动实现技术 有限状态自动机 计算机网络 协议 Estelle 有限状态机 描述模型 Petri网 状态转移图 通信协议 广播通道 局部网络 混合模型 虚拟接口模块 协议工程 Estelle。 通道 Estelle FDT 传输协议 形式模型

协议工程