贾斌 段晓萍 叶新铭 孟光萌 车淑兰 周雅丽 李华 曾敏 何立强 刘玉林 刘咏梅

UML 财政国库集中支付业务系统 RIP协议 关系 时控Petri网 多媒体系统 面向对象 GE-LOTOS 一致性测试 E-LOTOS 实时系统 LOTOS Petri网 形式描述技术 需求分析 时间Petri网 Informix数据库 协议一致性测试 静态模型 TTCN 时间复杂度 交互测试 传递闭包 CP-net 代理银行 动态模型 路由协议测试

呼和浩特 山东省蓬莱市高级职业学校 内蒙古铸锻厂 内蒙古大学计算机学院 中国工商银行内蒙古分行机构业务部