并发实时系统相关硕士博士期刊学术论文 - 搜论网

并发实时系统相关论文

并发实时系统的模型及其形式化

并发实时系统指多处理器环境下有实时要求的并发计算系统。本文第一章中介绍了一般实时系统的发展。实时系统领域的研究者通常考虑......

学位

并发实时系统时空占用量时空利用率时段演算分离逻辑进程代数

自动验证并发实时系统的线性时段性质

本文介绍了一个就线性时段特性验证实时系统的正确性的工具的设计思想以及相关算法.我们使用和时间自动机作为实时系统的描述模型.......

期刊

形式化方法时段演算模型检验时间自动机实时系统

看过本文同时还关注