French - English technical dictionary

test formel
formal verification
natural and applied sciences - acta.es
test formel
formal testing
information technology and data processing - iate.europa.eu

French - English translation in context

On recommande d'effectuer cette vérification sur un graphique plutôt que par un test formel de signification ; le test de Barlett convient également.

It is recommended that this be done graphically rather than via a formal significance test ; a suitable alternative is to run a Bartlett's test.

general - eur-lex.europa.eu
Cette vérification peut être pratiquée par un procédé graphique ou par un test formel , notamment les tests de Levene ou de Bartlett.

This assessment may be performed graphically or by a formal test . Suitable tests are Levenes or Bartletts.

general - eur-lex.europa.eu
L'invention porte sur un procédé destiné à réaliser le test formel d’un logiciel de commande de machine complexe afin de déterminer si le logiciel comporte des défauts.

A method and system for testing complex machine control software A method of formally testing a complex machine control software program in order to determine defects within the software program is described.

information technology and data processing - wipo.int


Millions of translations categorized by activity in 28 languages