公式记录时钟相关硕士博士期刊学术论文 - 搜论网

公式记录时钟相关论文

公式时钟自动机——一种新的形式化验证工具

本文在对时间自动机进行深入研究的基础上，提出了公式时钟自动机。在公式时钟自动机中，每一个事件对应一个命题、并且针对给定命题集......

学位

公式记录时钟公式预测时钟时态算子时间字时间自动机形式化验证

确定的与非确定的公式时钟自动机的等价性

本文分析了传统的时间自动机在实时系统进行形式化验证方面所存在的问题,提出了一种新的形式化验证工具--公式时钟自动机,给出了公......

期刊

公式记录时钟公式预测时钟时态算子时间字

看过本文同时还关注