李允 姬莉霞 戎玫 张广泉 桂盛霖 张雷 徐刚 李乃斌 吴智铭 罗蕾 刘倩 刘珊艳 李俊锋

时间自动机 非抢占 自动机 校验 死锁 模拟 可调度性 时间状态机 实时系统 体系结构分析设计语言 XYZRE 模型检查 甘特图 柔性制造系统