Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
data flow-oriented languages
Vertaling van "data flow-oriented languages" in Duits
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.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 5. Exact: 5. Verstreken tijd: 26 ms.
