Dictionnaire français - anglais

industrie mécanique - iate.europa.eu
Simple three party key exchange protocols via twin diffie-hellman problem... The protocols are also verified using Automated Validation of Internet Security Protocols and Applications (AVISPA) which is a push button tool for the automated validation of security protocols and the result shows that they do not have any security flaws
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
An improved password based eap method for wimax with formal verification... Protocol is verified using Automated Validation of Internet Security Protocols and Applications (AVISPA) which is a push button tool for the automated validation of security protocol and result shows that it does not have any security flaws....
Vesta: a tool to verify the correct integration of a component in a composite timed system ⋆... Vesta is a push-button tool for checking the correct integration of a component in an environment, for component-based timed systems....
Automated security protocol analysis with the avispa tool AbstractThe AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications....
The caspa tool: causality-based abstraction for security protocol analysis... CASPA constitutes a push-button tool for automatically proving secrecy and authenticity properties of cryptographic protocols....

Synonymes et termes associés français

Exemples français - anglais

industrie mécanique - lexique.mecaniqueindustrielle.com
activité agricole / santé / informatique et traitement des données / électronique et électrotechnique / communication / métallurgie et sidérurgie / industrie mécanique - acta.es
informatique et traitement des données - iate.europa.eu
[...]
documentation - acta.es
communication - iate.europa.eu
communication - iate.europa.eu
[...]

Traductions en contexte français - anglais

C'est un outil circulaire qui montre la direction du nord.

It’s a circular device that shows which direction is really the North.

général - CCMatrix (Wikipedia + CommonCrawl)
Cette méthode utilise un outil circulaire oscillant qui prélève un greffon circulaire et laisse la patella avec une perte de substance régulière.

This method utilizes a round oscillating tool, which takes a circular graft and leaves the patella with a smooth defect.

général - CCMatrix (Wikipedia + CommonCrawl)
Outil circulaire (5) destiné à la fabrication de bols pour vases en pierre (4), en ivoire et en bois, ledit outil étant déplacé au contact de cette matière (4) selon une trajectoire arquée et tangentielle par rapport à l'axe central (14) de l'outil (5).

For production of the bowls for vases from stone (4), ivory and wood we take an instrument in form of a hoop (5) and move it to material (4 ) along an arc, tangential to central axis (14) of the hoop (5).

industrie mécanique - wipo.int
Lors de ce test, le médecin utilise un outil circulaire pour enlever une petite section de couches plus profondes de votre peau.

During this test, he may use a tool to remove a small section of your skin’s deeper layers.

général - CCMatrix (Wikipedia + CommonCrawl)
Lors de ce test, le médecin utilise un outil circulaire pour enlever une petite section de couches plus profondes de votre peau.

During this test, the doctor uses a circular tool to remove a small section of your skin’s deeper layers.

général - CCMatrix (Wikipedia + CommonCrawl)
Lors de ce test, le médecin utilise un outil circulaire pour enlever une petite section de couches plus profondes de votre peau.

During this test, the doctor uses a circular tool to remove a small section of your skin's deeper layers.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues