- 1. 线性时态逻辑: LTL
...更多相关文章： 规范 特征 最终自由 动态模型序列 T-范式 满足度 【摘要】：从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.
dict.youdao.com - 2. 变数线性时态逻辑: FLTL
dict.youdao.com - 3. 一阶线性时态逻辑: FOLTL
dict.youdao.com - 4. 线性时态逻辑理论: LTL
dict.youdao.com - 5. 线性时态逻辑理论: Linear Temporal Logic
dict.youdao.com - 6. 和线性时态逻辑理论: Linear Temporal Logic
dict.youdao.com
有道词典