陈伟 王迤冉 张松年 赵岭忠 张广泉 李俊锋 谢经明 闪虹 许何 缪淮扣 李广元 陈靖 刘珊艳 朱维军 许庆国 彭云全 周清雷 张雷 赵旭辉 冯东伟 陈幼平 崔竞松 戎玫 唐稚松 郑国梁 彭蓉 魏绪凯 苏锦祥 周祖德 杜娟

实时系统 用例自动执行 时间动作锁 测试用例生成 减法 离散时段演算 UPPAAL 风洞试验 符号状态拆分算法 可达性分析 检测算法 时间后继 规范语言 性质验证 实时系统 区域可达 冗余信息消除 TPNtoTA转换 模型检测 二叉决策图共享存储 时序逻辑 DBM 商 模型检查 线性时序逻辑 系统描述语言 数据结构 优化 控制器局域网络 加速

实时系统