张广泉 沈一栋 刘珊艳 陈道喜 魏慧 李璐 张晓蒙 林苗

嵌入式软件 消息传递自动机 嵌入式实时软件 消息中间件 UPPAAL 组合时间分析 XYZRE 中间件

苏州技师学院 暨南大学深圳旅游学院 重庆大学计算机以究所 重庆师范学院计算机系 苏州大学计算机科学与技术学院 重庆师范大学数学与计算机学院 重庆师范大学数学与计算机科学学院 中国科学院计算机科学国家重点实验室