实时系统的一种定量时态逻辑描述方法 (1999年)

【文件属性】：

文件名称：实时系统的一种定量时态逻辑描述方法 (1999年)

文件大小：237KB

文件格式：PDF

更新时间：2024-05-27 21:46:06

自然科学 论文

针对Manna-Pnueli命题线性时态逻辑（PLTL）在描述实时性方面的不足，本文扩充PLTL，引入物理时间因子，提出一种用于实时系统的定量时态逻辑；并给出一个实例——监视器计时网（WIN）的定量时态逻辑描述。