Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Rejoignez Reverso, c'est gratuit et rapide !
data flow-oriented languages
Traduction de "data flow-oriented languages" en allemand
datenflussorientierten Sprachen
Our approach is formally well-founded, addresses the approximate nature of data flow-oriented languages, is automatable, and scales comparatively well for many industrially relevant applications.
Unser Ansatz ist formal fundiert, berücksichtigt die approximative Natur der datenflussorientierten Sprachen, ist automatisierbar und skaliert relativ gut für viele industriell relevante Anwendungen.
To address the approximate nature of data flow-oriented languages, we adapt the equivalence notion of approximate bisimulation to Simulink.
Um die approximative Natur der datenflussorientierten Sprachen zu berücksichtigen, passen wir den Äquivalenzbegriff der approximierten Bisimulation an Simulink an.
We select Simulink as major representative of industrially relevant data flow-oriented languages.
Wir wählen Simulink als Hauptvertreter der industriell relevanten datenflussorientierten Sprachen.
As a consequence, the data flow-oriented languages that are used to model such systems inherently have an approximate nature.
Aus diesem Grunde weisen datenflussorientierte Sprachen, die zur Modellierung solcher Systeme verwendet werden, eine approximative Natur auf.
Firstly, we provide a sound methodology for the formal verification of behavioural equivalence of hybrid control models on data flow-oriented languages.
Zunächst definieren wir eine theoretische Methodik für die formale Verifikation der Verhaltensäquivalenz von hybriden Kontrollmodellen auf datenflussorientierten Sprachen.
Le mot et l’expression du jour
L’image du jour
Résultats: 5. Exacts: 5. Temps écoulé: 26 ms.
