朱军 姜春艳 曹子宁 黄志球 孙晶 张明 刘亚萍 华庆一 祝义 齐治昌 张正兰 陈火旺 王国仁 龚正虎 沈祖诒 金涛 周航 王志坚 赵会群 张高 罗铁庚 高远 戴国忠

同步 网络代数 ACTL 多媒体系统 进程代数 交互式用户界面 路由网络代数 边界网关协议 时序逻辑 实时系统 UML-RT 协议规范语言 概率规范 分布式多媒体系统 LOTOS规格 软件体系结构 面向约束描述风格 形式化规约 模型 分布式 模型检查 网关体系结构 形式化方法 路由稳定性