ltl

ltl怎么读

ltl的意思释义

abbr.

零担（less than truckload）；立陶宛立特（立陶宛的货币名称缩写）；

英英释义

LTL is the ISO 4217 currency code for the Lithuanian litas, the official currency of Lithuania.

ltl用法及例句

例句参考

Fast LTL to Buchi Automata Translation

Fast LTL to Büchi Automata Translation

Fast LTL to Büchi Automata Translation

Another look at LTL model checking

Another look at LTL model checking

Another look at LTL model checking

LTL with the Freeze Quantifier and Register Automata

LTL with the Freeze Quantifier and Register Automata

Runtime Verification for LTL and TLTL

ltl相关例句

1. LTL cargo transportation, vehicle scheduling, network throughout the country.

零担货物运输，整车调度，网络遍及全国。

2. At last, the application of Property patterns of LTL formulas was given in SPIN tool.

较后介绍了线性时态逻辑特性模式在SPIN中的应用。

3. In this paper, we design and implement a method of producing test oracle from program\'s LTL (Linear Temporal Logic) property.

文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。

4. A new idea is presented to introduce the linear temporal logic (LTL) technology and analog information into a fault diagnosis system for high voltage (HV) transmission lines.

提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。

5. This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …

在介绍了相关理论知识后，使用当前较为流行的模型验证工具SPIN给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。

6. Having the Promela code describing the component behavior, one can efficiently check for the behavior compatibility and LTL (Linear Temporal Logic) properties of cooperating software components.

由于使用了代码来描述构件行为，就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。

7. Having the Promela code describing the component behavior, one can efficiently check for the behavior compatibility and LTL (Linear Temporal Logic) properties of cooperating software components.

由于使用了代码来描述构件行为，就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。

8.1.Designing the heuristic information based on Linear Temporal Logic, and some genetic operators, for example, select, across and mutate.

· 设计了基于LTL路径公式的启发式信息，以及选择，交叉，变异等进化操作。