Metadata
Author: cordis
Data
German[de]
Anstelle von Matrizen mit Konstanten für den Taktabgleich der zeitgesteuerten Automaten mithilfe von Überprüfungsmethoden wurden Vektoren der Taktvariablen eingesetzt.
English[en]
Instead of matrices of constants to which clocks of the timed automaton are compared and have their roots in verification methodologies, vectors of clock variables were used.
Spanish[es]
En lugar de matrices de constantes con las que se comparan los relojes del autómata temporizado, con sus raíces en las metodologías de verificación, se utilizaron vectores de variables de reloj.
French[fr]
Au lieu des matrices de constantes auxquelles les horloges de l'automate programmable sont traditionnellement comparées et qui proviennent des méthodologies de vérification, on a utilisé des vecteurs de variables d'horloges.
Italian[it]
Invece delle matrici delle costanti alle quali gli orologi degli automi temporizzati vengono paragonati e che si basano sulle metodologie di verifica, sono stati usati vettori delle variabili dell'orologio.
Polish[pl]
Zamiast macierzy stałych, z którymi porównywane są wskazania zegarów automatu czasowego i które są zakorzenione w metodologii weryfikacji, użyto wektorów zmiennych zegarowych.