ltl是什么意思?
ltl立陶宛立特;零担;立特;零担货运;线性时序逻辑。
LTL cargo transportation, vehicle scheduling, network throughout the country.
零担货物运输,整车调度,网络遍及全国。
Highway freight to and from the country, mainly general cargo vehicle LTL freight, overloaded transportation of goods, sealed off cargo, special cargo vehicles.
公路货运往返全国,主要有普通货物整车零担货运,超限货物运输,封关货运,特殊车辆货运。
Efficient method of model checking based on LTL and Petri net.
一种有效的基于LTL和Petri网的模型检测方法。
A Symbolic Optimization Method for Model Checking of LTL Based on Automaton Theory.
一种基于自动机理论的LTL检验符号优化方法。
A Formal Description of Traffic Signal Based on LTL.
基于LTL的交通灯系统形式化描述方法。
2023-07-11 广告