VERIFIKATION - немски-английски превод

немски

английски

Ve·ri·fi·ka·ti·on <-, -en> [verifikaˈtsi̯o:n] СЪЩ f ЮР

Verifikation form

verification

английски

немски

verification

Verifikation f <-, -en>

Примери от интернет (не са проверени от PONS редакцията)

Wegen der starken Vernetzung und Verkopplung der physikalischen Vorgänge beim Hören erfordert diese Aufgabe oft ein sehr umfassendes Betrachten zur Datengewinnung und Verifikation der postulierten Modelle und der gefundenen Parameter.

www.itm.uni-stuttgart.de

Because of the strong networking and coupling of physical processes in hearing this task often requires a very comprehensive look at the data collection and verification of the postulated models and the parameters found.

www.itm.uni-stuttgart.de

Durch die systematische Verfeinerung und Verifikation von Spezifikationen und die automatische Erzeugung von Software aus Modellen können verschiedene Technologien und Plattformen parallel eingesetzt werden, ohne die aufwändige und mühsame Rekonstruktion des technischen Domänenmodells aus einer konkreten, technologieabhängigen Implementierung.

www.scch.at

Systematic refinement and verification of specifications and automatic generation of software from models enables the parallel use of different technologies and platforms without the costly and cumbersome reconstruction of the technical data model from a concrete technology-bound implementation.

www.scch.at

Dies umfasst den Entwurf integrierter Schaltungen, deren Analyse durch Simulation oder formale Verifikation, die rechnergestützte Synthese und Optimierung digitaler Schaltkreise, automatische Layout-Synthese, Diagnose und Test von Schaltkreisen und Systemen sowie den Entwurf dazugehöriger wiederverwendbarer Anwendungssoftware.

www.informatik.uni-wuerzburg.de

This includes the design of integrated circuits, their analysis using simulation as well as formal verification, computer-aided synthesis and optimization of digital circuits, automatic layout synthesis, diagnostics and testing of circuits and systems, and finally the design of associated but reusable application software.

www.informatik.uni-wuerzburg.de

Die Forschungsaktivitäten erstrecken sich von der Konzeption und Auslegung von Leichtbaukomponenten über die Berechnung und Simulation bis hin zur experimentellen Verifikation der Forschungsergebnisse.

ilh.uni-paderborn.de

The activities includes the design and interpretation of lightweight components, the calculation and simulation as well as the experimental verification of research results.

ilh.uni-paderborn.de

Anfragen für die Verifikation verhaltensbasierter Systeme sollen automatisch generiert werden.

agrosy.informatik.uni-kl.de

Queries for the verification of behaviour-based systems shall be generated automatically.

agrosy.informatik.uni-kl.de