孙波 余丹 靳文 许可 眭跃飞 吕卫峰 董卫宇 王丽丰 李先军 叶钢 肖晨 都玉水 马丽 何国斌 于冰 杨永强 李未 周刚 郭皓明

航务报文 航天器测试语言 过程模式 拓扑 访问控制 测试安全 流媒体系统 拓扑发现 部分加密 信息系统 更新策略 需求不变点 符号计算 标准体系 基于角色的访问控制 描述逻辑 计算机应用 软件工程 P2P网络 工作流 距离 委托 数据集成 多项式方程 网络管理 语义 计算机网络 专用测试语句 极限 最优控制

北京航空航天大学计算机科学与工程系 北京航空航天大学软件开发环境国家重点实验... 中国科学院计算技术研究所