Examples with "techniques issues du model-checking" 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.
Nous introduisons le R2C, notre contrôleur basé sur les hypothèses synchrones, ainsi que l'outil permettant sa génération en exploitant des techniques issues du model-checking symbolique.
Then we introduce the R2C, our controller based on synchronous hypothesis, and the tool used to generate this controller using symbolic model-checking techniques.
Andere resultaten
On y découvre des techniques issues du monde entier.
Jusqu'à présent, les techniques issues du génie génétique n'auraient qu'un impact limité.
Genetic engineering techniques have so far had limited impact.
Dans le domaine des soins corporels, on utilisera avec avantage des techniques issues du froid.
In the field of body care, techniques from the cold will be used with advantage.
Afin d'assurer le meilleur degré de sécurité à ses utilisateurs, ZEturf a développé une infrastructure technique issue du système interbancaire.
To offer greater security to its users, Zeturf has developed a technical infrastructure from the interbank system.
La startup démocratise les techniques issues du monde de l'apprentissage en proposant des solutions simples et rapides pour rendre le travail en équipe enfin efficace.
The start-up usesteaching techniques to create fast, simple solutions to finally make teamwork effective.
Les contrôles se sont diversifiés dans leurs formes et leurs objets, en adoptant des techniques issues du secteur privé, considéré souvent comme un modèle de la performance.
The tendency is to adopt the techniques used in the private sector generally considered as a model of performance management.
Cette manifestation a pour but de promouvoir le métier de cuisinier, ainsi que le maintien des techniques issues du patrimoine culinaire français.
This event aims to promote the cooking profession as well as maintaining the techniques originated from the French culinary heritage.
Entraînez-vous à la barre en mêlant des techniques issues du ballet, du pilates et du yoga pour tonifier, définir et sculpter le corps.
Practice at the barre by mixing techniques from ballet, pilates and yoga to tone, shape and sculpt your body.
Cette manifestation a pour but de promouvoir le métier de cuisinier, ainsi que le maintien des techniques issues du patrimoine culinaire français.
The aim of this event is to promote the work of chefs, as well as the preservation of techniques from the French culinary heritage.
La dramathérapie, c'est un moyen de favoriser le bien-être chez un individu comme pour un groupe, en utilisant des techniques issues du théâtre et de la psychothérapie.
Drama therapy is a way of promoting the well being of an individual or group, using techniques from theatre and from psychotherapy.
Elle reflète aussi celle de l'évolution de voitures de route aux performances exceptionnelles, caractérisées par un design épuré, significatif et des solutions techniques issues du monde de la course.
It also reflects the history of the evolution of exceptional performance road cars, characterised by bold and unmistakable design and technical solutions derived from the racing world.
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.
