abkuerzungen.org

TLT

Temporal Logic of Transitions

IT/Elektro

Definition

Die Temporal Logic of Transitions ist ein formales Logiksystem zur Beschreibung und Verifikation zeitabhängiger Zustandsübergänge in Computersystemen.

Ähnliche Abkürzungen

TLTTornado Like TechnologyTLTTeaching, Learning, and Technology