Validation de donnees et diagnostic des procedes industriels

Une approche a la validation des protocoles d'enchere par la methode des tests de specification

Ecault, Christine
Institut National de Recherche en Informatique et en Automatique, Centre de Rennes Rennes (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de donnees a variance inconnue

Chafouk, Houcine

January 1990

SIGLEINIST T 74180 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La generation d'observateurs pour la validation des proprietes des systemes distribues

Drissi-Kaitouni, Omar

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Observabilite, diagnostic et validation de donnees des procedes industriels

Maquin, Didier

January 1987

SIGLECNRS T 62139 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Processus de preuves et situations de validation

Balacheff, H.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Structures Discretes

January 1985

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de donnees des systemes dynamiques lineaires

Janyene, Abderrahmane

January 1987

SIGLECNRS T 61211 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Specification et validation de systemes de processus communicants

Marmonier, Marina

January 1989

SIGLECNRS T 66497 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation d'une base de connaissances hybride avec objets et regles de production

Courant, Michele
Guevel, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de sequence de test fonctionnel de microprocesseur

Moing, J.Y.
Motet, G.
Vergez, P.
Centre National d'Etudes des Telecommunications (CNET), 22 - Lannion (France). Div. Investigation de Composants et Materiaux

January 1987

SIGLECNRS RP 252 (380) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation en conditions industrielles d'une methode d'identification et de marquage des materiaux a risques specifies : rapport final

Chanet, J.P.
Frencia, J.P.
Berducat, M.
Institut de Recherche pour l'Ingenierie de l'Agriculture et de l'Environnement (CEMAGREF), 92 - Antony (France)

January 2002

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : GR 2005 / INIST-CNRS -...

Une experience dans la specification et la validation des systemes distribues

Ecault, Christine

January 1985

SIGLECNRS T 58247 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de donnees et observabilite des systemes multilineaire

Heraud, Nicolas
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France)

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 80769 / INIST-CNRS ...

Validation de la surete de fonctionnement par injection de fautes, methode - mise en oeuvre - application

Arlat, Jean
Institut National Polytechnique de Toulouse (INPT), 31 (France)

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20250 / INIST-CNRS ...

Specification et validation de systemes en Xesar

Rodriguez, Carlos
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de systemes repartis par injection de fautes

Martins, Eliane
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 83720 / INIST-CNRS ...

Une approche a la validation des protocoles d'enchere par la methode des tests de specification

Ecault, Christine
Institut National de Recherche en Informatique et en Automatique, Centre de Rennes Rennes (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de donnees a variance inconnue

Chafouk, Houcine

January 1990

SIGLEINIST T 74180 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La generation d'observateurs pour la validation des proprietes des systemes distribues

Drissi-Kaitouni, Omar

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Observabilite, diagnostic et validation de donnees des procedes industriels

Maquin, Didier

January 1987

SIGLECNRS T 62139 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Processus de preuves et situations de validation

Balacheff, H.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. des Structures Discretes

January 1985

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de donnees des systemes dynamiques lineaires

Janyene, Abderrahmane

January 1987

SIGLECNRS T 61211 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Specification et validation de systemes de processus communicants

Marmonier, Marina

January 1989

SIGLECNRS T 66497 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation d'une base de connaissances hybride avec objets et regles de production

Courant, Michele
Guevel, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de sequence de test fonctionnel de microprocesseur

Moing, J.Y.
Motet, G.
Vergez, P.
Centre National d'Etudes des Telecommunications (CNET), 22 - Lannion (France). Div. Investigation de Composants et Materiaux

January 1987

SIGLECNRS RP 252 (380) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation en conditions industrielles d'une methode d'identification et de marquage des materiaux a risques specifies : rapport final

Chanet, J.P.
Frencia, J.P.
Berducat, M.
Institut de Recherche pour l'Ingenierie de l'Agriculture et de l'Environnement (CEMAGREF), 92 - Antony (France)

January 2002

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : GR 2005 / INIST-CNRS -...

Une experience dans la specification et la validation des systemes distribues

Ecault, Christine

January 1985

SIGLECNRS T 58247 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de donnees et observabilite des systemes multilineaire

Heraud, Nicolas
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France)

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 80769 / INIST-CNRS ...

Validation de la surete de fonctionnement par injection de fautes, methode - mise en oeuvre - application

Arlat, Jean
Institut National Polytechnique de Toulouse (INPT), 31 (France)

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20250 / INIST-CNRS ...

Specification et validation de systemes en Xesar

Rodriguez, Carlos
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de systemes repartis par injection de fautes

Martins, Eliane
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 83720 / INIST-CNRS ...

Une approche a la validation des protocoles d'enchere par la methode des tests de specification

Ecault, Christine
Institut National de Recherche en Informatique et en Automatique, Centre de Rennes Rennes (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de donnees a variance inconnue

Chafouk, Houcine

January 1990

SIGLEINIST T 74180 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La generation d'observateurs pour la validation des proprietes des systemes distribues

Drissi-Kaitouni, Omar

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Validation de donnees et diagnostic des procedes industriels

Abstract

Extracted data

Validation de donnees et diagnostic des procedes industriels

Abstract

Extracted data

Related items

Related items