Apprendre à traduire à partir d'exemples de traductions humaines.
Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
© communautés européennes, 2001 reproduction autorisée, moyennant mention de la source photos de couverture: © eureka silde, keith bloomfield, lionel flageul
© european communities, 2001 reproduction is authorised provided the source is acknowledged.
Dernière mise à jour : 2014-02-06
Fréquence d'utilisation : 1
Qualité :
cet outil de preuve formelle peut être pourvu par un logiciel du type sildex™ qui à tout instant d'une simulation, peut mettre en panne un composant ou une fonction du second modèle 20 par l'intermédiaire du mécanisme d'injection de pannes 22.
this formal proof tool can be provided by software of the sildex™ type which at all instants during a stimulation can apply a fault to a component or a function of the second model 20 via the fault injection mechanism 22 .
Dernière mise à jour : 2014-12-03
Fréquence d'utilisation : 1
Qualité :