Examples with "model-checking comme technique" 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.
L'approche proposée s'applique a des convois suivant plusieurs types de configuration, et permet des changements dynamiques de configuration.L'approche proposée pour la vérification de propriétés de sûreté des convois de véhicules, adopte le model-checking comme technique de preuve.
The proposed approach can be applied to platoon with different configurations, and allows for dynamic change of proposed verification method uses the model-checking technique.
Andere resultaten
Les artistes choisissent souvent le ciselage comme technique privilégiée pour sa polyvalence.
Artists often choose chasing as a preferred technique for its versatility.
En analyse littéraire, le flux de conscience est classé comme technique de monologue intérieur.
In literary analysis, stream of consciousness is classified as an interior monologue technique.
On lui a enseigné le bâti comme technique de base pendant sa formation en couture.
She was taught to baste as a basic sewing technique during her training.
Il utilisait la marche comme technique pour réfléchir à ses problèmes.
He used pacing as a technique to think through his problems.
Pendant notre leçon, le chasse-neige a été souligné comme technique d'arrêt cruciale.
During our lesson, the snow plough was emphasized as a crucial stopping technique.
Tous ces traitements peuvent être regroupés comme techniques de resurfaçage de la peau.
All of these treatments can be grouped together as skin resurfacing techniques.
Le gouvernement a annoncé cette réforme comme technique de diversion pour cacher le scandale financier.
The government announced this reform as a distraction tactic to cover up the financial scandal.
La stérilisation a aussi été utilisée comme technique de gestion du cycle menstruel.
Sterilization also has been used as a technique for menstrual management.
Le premier coup de genou était justifié comme technique de distraction.
The first knee strike was justified as a distraction technique.
Elle a sous-vendu la conférence, la présentant comme technique alors qu'elle est très accessible.
She undersold the talk, pitching it as very technical when it's actually quite accessible.
Avec le fouet comme technique, elle a transformé une crème ordinaire en une perfection fouettée.
With whisking as her technique, she turned ordinary cream into whipped perfection.
Beaucoup de gens pensent à l'entraînement seulement comme technique de gestion.
Many people think of coaching solely as a management technique.
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.
