meaning of ltl
1. LTL Linear Temporal Logic LTR Langage Temps-RÚel. French for "real-time language" A French predecessor to Ada, LTR is Modula-like with a set of special-purpose real-time constructs based on an event model. It was mentioned in the reference below. ["An Overview of Ada", J. G. P. Barnes, Soft Prac & Exp 10:851-887 1980].
Related Words
ltl |
