多处理器实时系统相关硕士博士期刊学术论文 - 搜论网

多处理器实时系统相关论文

多处理器实时系统可调度性分析的UPPAAL模型

随着多处理器实时系统在安全性攸关系统中的广泛应用，保证这类系统的正确性成为一项重要的工作．可调度性是实时系统正确性的一项关键......

期刊

可调度性模型检测 UPPAAL 多处理器实时系统时间自动机 schedulability model checking UPPAAL multipro

看过本文同时还关注