时钟带相关硕士博士期刊学术论文 - 搜论网

时钟带相关论文

一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝......

期刊

模型检查时间自动机时钟带可达性分析

时间自动机及其应用研究

实时系统在军事和民用领域都有着广泛的应用，如何保证这类系统的安全性和可靠性是研究人员广泛关注的问题。模型检测方法是分析和验......

学位

模型检测时间自动机时钟带 DBM UPPAAL

看过本文同时还关注