线性时段不变式相关论文
线性时段不变式是一类重要的时段演算公式。文献[1]中提出一种验证算法,能够针对以时间自动机建模的系统,模型检验其是否满足一个......
线性时段不变式是一类重要的时段演算公式，可以用来描述实时系统的时段性质，对其验证算法的研究具有相当高的理论意义和实际应用价值......
