Metadata
Author: cordis
Data
German[de]
Die Kombination einer formalen Sprache mit einer Semantik für temporale Logik (Temporal Logic Semantics) bietet mehr Möglichkeiten für den Mehrzweck-Einsatz mit passender Aussagekraft.
English[en]
The combination of a formal language with temporal logic semantics offers increased capabilities for multi-purpose usage with suitable expressiveness.
Spanish[es]
La combinación de un lenguaje formal con una semántica lógica temporal ofrece más capacidades de usos diversos y una expresividad adecuada.
French[fr]
La combinaison d'un langage formel avec une sémantique logique temporelle offre de nouvelles possibilités d'utilisation à différentes fins avec une expressivité appropriée.
Italian[it]
La combinazione di linguaggio formale con la semantica logica temporale offre maggiori capacità d'uso a obiettivi multipli con l'idonea espressività.