巨同升 刘正东 冷显国 徐涛 刘晓红

网络管理 GM（1 招标管理系统 协议形式描述 原型法 协议验证 物资管理系统 Powerbuilder 协议验证与分析 数字 CS模式 UML 光滑比 关系数据库 Agent Petri网 PowerBuilder 词法分析 协议 1） 面向对象 AP 数词 预测模型 初始条件 MS SQL Server MIB 模板匹配 Internet SNMP

山东淄博 山东理工大学 山东理工大学计算机教学部 鞍钢集团新钢铁公司 山东工程学院信电学院 山东工程学院 山东理工大学计算机科学技术学院 山东　淄博