プロの翻訳者、企業、ウェブページから自由に利用できる翻訳レポジトリまで。
© 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.
最終更新: 2014-02-06
使用頻度: 1
品質:
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 .
最終更新: 2014-12-03
使用頻度: 1
品質: