严晓浪 刘震 王冠军 法特穆加瓦河瑞 唐璞山 阿米拉里高弗兰尼 冯刚 胡元闯 董荣胜 王飞明 杨一平 焦金良 在那拉贝定纳瓦比 方敏 黄伟 李加良 卢永江 马光胜 王敬觉 哈米德诺瑞 李辉 葛海通 郑飞君 罗来豹 杨润生 杨军

通信协议 有向矩形壳 时态逻辑 混合自动机 流管道 混合系统 定时自动机 UPPAAL 依赖性 通用割集 可达集 WGLs 事务级模型 常压炉 SAT解答器 专用割集 凸多面体 状态爆炸 计算机辅助设计 符号多项式操作 半导体技术 Petri网 模型检测