- 1. Linear Temporal Logic: 线性时序逻辑
2.1.1 时序逻辑语言 线性时序逻辑(Linear Temporal Logic, LTL)是一种形式 化约束描述方法，可有效地描述系统在执行路径上的性质。
dict.youdao.com - 2. Linear Temporal Logic: 提出的是线性时序逻辑
Pnuelli提出的是线性时序逻辑(Linear Temporal Logic, LTL)。LTL在一阶命题逻辑的基础上引入了几坨与时间有关的操作符。
dict.youdao.com - 3. Linear Temporal Logic: 和线性时态逻辑理论
北京航空航天大学学报 eb服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考
dict.youdao.com - 4. propositional linear temporal logic: 命题线性时序逻辑
dict.youdao.com - 5. linear temporal logic ltl: 线性时态逻辑
dict.youdao.com - 6. finite propositioanl linear temporal logic: 有穷命题线性时序逻辑
dict.youdao.com - 7. linear-time temporal logic: 随后采用线性时序逻辑
dict.youdao.com - 8. linear-time temporal logic: 线性时序逻辑
dict.youdao.com - 9. modified linear time temporal logic: 修改的线性实时逻辑
dict.youdao.com
有道词典