Metadata
Author: cordis
Data
German[de]
Mit temporaler Logik kann der Bediener vorgeben, wie Protokolle, Module, Komponenten und Verfahren über der Zeit arbeiten sollen.
English[en]
Temporal logic lets operators specify how protocols, modules, components, and procedures should act as time passes.
Spanish[es]
La lógica temporal permite que los operadores especifiquen el modo en que los protocolos, módulos, componentes y procedimientos deben actuar a medida que transcurre el tiempo.
French[fr]
La logique temporelle permet aux opérateurs de spécifier comment les protocoles, les modules, les composants et les procédures doivent opérer à mesure que le temps passe.
Italian[it]
La logica temporale consente agli operatori di specificare come devono agire nel tempo i protocolli, i moduli, i componenti e le procedure.