Examples with "Modelcheck und" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Hierzu zählen das Generieren von Plänen, die Koordination der Planungsbeteiligten und Integration der Fachplanungen, Schlitz- und Durchbruchsplanung sowie Modelcheck und Qualitätssicherung.
These include the creation of plans, the coordination of personnel involved in planning and the integration of expert planners, slot and opening design, as well as model checking and quality assurance.
Andere resultaten
Erweiterungen der ModelCHECK Prüffunktionen und automatische Reparaturfunktionen
Extensions of ModelCHECK test functions and automatic repair functions
Um nun sicherzustellen, dass der Modelchecker selber korrekt ist, wurde im Projekt CAVA ein verifizierter und ausführbarer Modelchecker mit Hilfe von Isabelle/HOL entwickelt.
To guarantee that the model checker itself is correct, the CAVA project developed a verified and executable LTL model checker using Isabelle/HOL.
Die Anbindung zum Modelchecker SMV ist implementiert und zwei Fallstudien wurden mittels der entwickelten Transformation und dem SMV Werkzeug untersucht.
We implement the interface and investigate two case studies by means of our transformation and the SMV tool.
Auf der Basis der allgemeinen Schnittstelle werden im Rahmen dieser Dissertation zwei konkrete Schnittstellen entwickelt: von der ASM Workbench zum Modelchecker SMV und zum MDG-Paket.
Based on this general interface, we develop two interfaces: from the ASM Workbench to the model checker SMV and to the MDG-Package.
Ersteres Werkzeug wird haeufig eingesetzt und implementiert symbolisches Modelchecken für CTL-Formeln.
The former is a widely used model checker that implements symbolic model checking for CTL formulas.
Bei der BIM-Methodik helfen dreidimensionale Planungsmodelle und die aktuell verfügbaren Modelchecker deutlich weiter.
In the BIM methodology, three-dimensional planning models and the currently available model checkers are of great assistance.
ModelCHECK Extensions ist direkt in die ModelCHECK Oberfläche integriert.
Diese allgemeine Schnittstelle dient als Grundlage zur Anbindung verschiedener Modelchecker, die auf einfachen Transitionssystemen basieren.
This general interface can be exploited for interfacing various tools that allow the treatment of simple transition systems.
Die Möglichkeiten einer Automatisierung werden in dieser Bachelorarbeit ermittelt und bestmöglich mit PTC ModelCHECK umgesetzt.
The opportunities of the automation are determined and as good as possible implemented in PTC ModelCHECK.
Ungeachtet des Einsatzes verschiedener Modelchecker bei AS+P wird die automatisierte Modellprüfung regelmäßig durch eine visuelle ingenieurtechnische Prüfung ergänzt.
Notwithstanding the use of different model checkers at AS+P, automated model checking is regularly complemented by a visual engineering test.
Die PTC Software ModelCHECK OOTB verwendet eine konfigurierbare Liste unternehmensspezifischer Designstandards und Modellierungspraktiken.
ModelCHECK OOTB uses a configurable list of company design standards and best modeling practices.
Din.dtl>- Automatisches Laden einer definierbaren din.dtl Datei, wenn die Standard ModelCheck Prüfung dafür Fehler meldet.
Din.dtl>- Automatic loading of a definable din.dtl file. If the standard ModelCheck check reports errors on the file.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
