Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model checking and
Vertaling van "model checking and" in Duits
Modellprüfung und
Specification of design ranges for individual signals in a bus for improved model checking and analysis
Angabe von Wertebereichen für Einzelsignale in einem Bus zur Verbesserung der Modellüberprüfbarkeit und -analyse
We introduced the notion of counterexamples into stochastic model checking and devised the first methods for the generation and analysis of counterexamples.
Wir haben das Konzept der Gegenbeispiele in das stochastische Model-Checking eingeführt und die ersten Methoden zur Generierung und Analyse von Gegenbeispielen entwickelt.
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.
Hierzu zählen das Generieren von Plänen, die Koordination der Planungsbeteiligten und Integration der Fachplanungen, Schlitz- und Durchbruchsplanung sowie Modelcheck und Qualitätssicherung.
This work was expanded during 1982-1988 to deal with model checking and temporal logics for the description of concurrent system specifications.
Diese Arbeit wurde in den Jahren 1982-1988 erweitert, um Modellprüfung und temporale Logik bei der Beschreibung der Spezifikationen nebenläufiger Systeme einzusetzen.
We still feel dedicated to this goal and with roughly 100 employees, we proudly look back on 17 years of technological market leadership in areas like formal verification, model checking and automatic test generation.
Diesem Ziel fühlen wir uns bis heute verpflichtet und blicken mit inzwischen ca. 100 Mitarbeitern stolz auf 17 Jahre technologische Markführerschaft in Bereichen wie formale Verifikation, Model Checking und automatische Testfall-Generierung zurück.
His interest and research topics were IT security, cryptography, model checking and compiler.
Zu seinen wissenschaftlichen Schwerpunkten zählten IT-Sicherheit, Kryptographie, Model Checking und Compilerbau.
The last session of the day was Orna Grumberg's last lecture, which she concluded with an overview of model checking and theorem proving tools.
Die letzte Vorlesung des Tages war Orna Grumbergs letzter Vortrag, den sie mit einer Übersicht über Model Checking und Beweiswerkzeuge beendete.
Model checking and healing will impact translator performance.
Durch die Modellprüfung und -reparatur wird die Leistung des Übersetzers beeinträchtigt.
TRANSFORMATION OF SIMPLE SUBSET OF PSL INTO SERE IMPLICATION FORMULAS FOR VERIFICATION WITH MODEL CHECKING AND SIMULATION ENGINES USING SEMANTIC PRESERVING REWRITE RULES
UMWANDLUNG EINER EINFACHEN PSL-UNTERMENGE IN SERE-IMPLIKATIONSFORMELN ZUR ÜBERPRÜFUNG MIT MODEL-CHECKING UND SIMULATIONSMASCHINEN UNTER VERWENDUNG VON BEDEUTUNGSERHALTENDEN UMSCHREIBUNGSREGELN
In general, model checking and proof checking techniques become ever more important as the criticality of tasks entrusted to intelligent agents is expanded. 14.
Im Allgemeinen werden Modellprüfungs- und Proofchecking-Techniken immer wichtiger, je mehr die Kritikalität der Aufgaben, die intelligenten Agenten übertragen werden, zunimmt.
Synoniemen voor model checking and in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 10. Exact: 10. Verstreken tijd: 246 ms.
