Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

Conformance testing of the stp-iss protocol implementation by means of temporal logic... Authors present a Kripke structure, which is STP-ISS-13 protocol implementation under test and a compilation example of temporal logic formula for a protocol requirement...

général - core.ac.uk - PDF: doaj.org

On-the-fly testing of reactive systems... The conformance relation between a model and an implementation under test is formalized in terms of refinement between interface automata, and testing amounts to a game between the test tool and the implementation under test...

PDF: citeseerx.ist.psu.edu

Abstract online testing with model programs... The conformance relation between a model and an implementation under test is formalized in terms of refinement between interface automata...

PDF: citeseerx.ist.psu.edu

implementation under test

IUT

communication - iate.europa.eu

Performance testing: measures the performance characteristics of an Implementation Under Test (IUT) such as its throughput, responsiveness, etc., under various conditions.

test de performance: mesure les caractéristiques de performance d'une implémentation sous test (IUT) (débit, rapidité de réaction, etc.) dans différentes conditions;

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

Performance testing: measuring the performance characteristics of an Implementation Under Test (IUT), such as its throughput, responsiveness, etc., under various conditions.

test de performance: mesure les caractéristiques de performance d'une implémentation sous test (IUT) (débit, rapidité de réaction, etc.) dans différentes conditions;

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

implementation under test

matériel en cours d'essai

communication - iate.europa.eu

Publications scientifiques

▷

Appel à communications - xxiième congrès de l'apliut, iut de cherbourg, 8, 9 et 10 juin : l'international, une dynamique d'apprentissage des languesAppel à communications - XXIIème Congrès de l'APLIUT, IUT de Cherbourg, 8, 9 et 10 juin : L'international, une dynamique d'apprentissage des langues ...

communication / éducation / enseignement - core.ac.uk -

▷

Dans la future société du coût marginal zéro, les imprimantes 3d rendront-elles serviles ?International audience1 LAMAV, CNRS 2956, IUT Valenciennes, UVHC-Campus Mont Houy-59313 VALENCIENNES 2 Lab-STICC UMR 6285-Université de Brest, IUT de Brest-Morlaix, département GMP, CS 93837 29238 BREST CEDEX 3 THEMATIQUE – Energie-Environnement CNU 27 et CNU 60 RESUME-L'impression 3D constitue un sujet phare de ces dernières années...

technologie et réglementation technique / communication - core.ac.uk -

▷

Les échanges iut a/département chimie : teesside polytechnic/chemistry department, middlesbrough - cleveland... Les échanges IUT A/Département Chimie : Teesside Polytechnic/Chemistry Department, Middlesbrough - Cleveland ...

général - core.ac.uk -

▷

Xxième congrès de l'apliut, association des professeurs de langues des instituts universitaires de technologie, iut d'angers, france 10, 11 et 12 juin 1999 : appel à communications... XXIème Congrès de l'APLIUT, Association des Professeurs de Langues Des Instituts Universitaires de Technologie, IUT d'Angers, France 10, 11 et 12 juin 1999 : appel à communications...

général - core.ac.uk -

▷

Xxième congrès de l'apliut, association des professeurs de langues des instituts universitaires de technologie, iut d'angers, france, 10, 11 et 12 juin 1999 : appel à communications... XXIème Congrès de l'APLIUT, Association des Professeurs de Langues Des Instituts Universitaires de Technologie, IUT d'Angers, France, 10, 11 et 12 juin 1999 : Appel à communications ...

général - core.ac.uk -