Examples with "use ProB" and their translation in Duits
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.
During the course of the European FP7 project Deploy, Siemens deployed the ProB software to check if it was feasible to use ProB to automatically check B models.
Im Rahmen des europäischen FP7 Projekts Deploy hat Siemens die Software ProB eingesetzt um herauszufinden, ob sie in der Lage ist, automatisch bestehende B-Modelle zu überprüfen.
Andere resultaten
No prob-just use the Card Snooze Power-Up and the card (including its due date notifications) will be archived until a specific time that you determine.
A control algorithm (AIX-ProB - Anticipation of Incidents with extended Probability of Breakdown) was developed, which uses the probability of breakdown by taking into consideration factors of influence which vary over time (day light, rush hour, wetness, etc.).
So wurde ein Steuerungsalgorithmus (AIX-ProB - Anticipation of Einbruchswahrscheinlichkeit des Verkehrs unter Berücksichtigung von zeitlich veränderlichen Einflüssen (Tageslicht, Berufsverkehr, Nässe, etc.) verwendet.
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.