Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
by model checking
Examples with "by model checking" and their translation in Duits
The attainable states for both descriptions are preferably determined by model checking.
Für beide Beschreibungen werden jeweils die erreichbaren Zustände vorzugsweise mittels Model Checking ermittelt.
As evaluation means two different concepts are applied: rule-based calculations and verification by model checking.
Auf Basis dieser Systembeschreibung werden zwei Arten von Überprüfungen durchgeführt: regelbasierte Berechnungen und Verifikation durch Model Checking.
As part of our methodology, we present an approach to automatically generate a threat scenario from a model based on the included security-related information, and show how to use threat scenarios to formally verify security requirements by model checking.
Als Teil der beschriebenen Entwicklungsmethodik wird ein Ansatz zur automatischen Generierung eines Bedrohungsszenarios aus einem Modell unter Ausnutzung der sicherheitsbezogenen Informationen dargestellt. Bedrohungsszenarien bilden die Basis für die formale Verifikation von Sicherheitsanforderungen mit Hilfe von Model Checking.
Andere resultaten
The semantics of hybrid automata make them accessible to formal verification by means of model checking.
Besonders geeignet erscheinen Hybride Automaten, weil ihre formale Semantik die Verifikation durch Model Checking erlaubt.
We address this challenge by reconciling model checking techniques for real-time and probabilistic systems with heuristics directed, intelligent state space traversal techniques, also known as directed model checking.
Wir gehen diese Herausforderung insbesondere dadurch an, dass wir Modellprüfverfahren für Echtzeit- und probabilistische Systeme mit heuristischen, intelligenten Techniken der Zustandsraumanalyse verbinden.
By doing model checking online, we are able to reach those states that locate arbitrarily deep in the state space and to predict potential errors even if the checking process falls behind the execution of the target system
Mittels Online Model Checking sind wir in der Lage, die Zustände, die sich beliebig tief in dem Zustandsraum befinden, zu erreichen.
Restart Model Manager by checking its box in the Modules menu.
You can verify the data import by checking the model definition in PBM-2.
Sie können den Datenimport überprüfen, indem Sie die Modelldefinition in PBM-2 prüfen.
Check this therefore in advance as by checking the model number in the maintenance manual of the projector.
Prüfen Sie diese daher im Vorfeld z.B. durch Kontrolle der Modellnummer im Wartungshandbuch des Projektors.
You can also determine the version by checking the model number and the country it was manufactured in.
Sie können auch die Version bestimmen, indem Sie die Modellnummer und das Herstellungsland prüfen.
The findings to come from these models will allow scientists to improve their computer models by checking their calculations against observations.
Die daraus folgenden Erkenntnisse werden den Wissenschaftlern ermöglichen, ihre Computermodelle zu verbessern, indem sie die Berchnungen anhand von Beobachtungen überprüfen.
We compare the simulation response of the estimated model against measured data by checking the Model Output box in the System Identification Tool.
Mittels ,Model Output' im System Identification Tool wird die Simulationsantwort des geschätzten Modells mit den gemessenen Daten verglichen.
You can confirm the model no. of your camera by checking the model no. printed on the front of the camera.
Sie können die Modellnummer Ihrer Kamera anhand der auf der Vorderseite der Kamera aufgedruckten Modellnummer feststellen.
Synoniemen voor by model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 1441. Exact: 3. Verstreken tijd: 379 ms.
