周清雷 江志斌 法特穆加瓦河瑞 阿米拉里高弗兰尼 张广泉 刘传会 赵东明 王静 在那拉贝定纳瓦比 哈米德诺瑞 李琳 李忠慧

自治与协调 模型检测 实时系统 事务级模型 时间自动机 密码协议 时间自动机网络 形式验证 定时自动机 赋时自动机理论 监控调度 协议验证 虚拟生产系统