Une experience dans la specification et la validation des systemes distribues

Une experience d'enseignement de la proportionnalite aux eleves instituteurs

Pezard, Monique

January 1985

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

Troisiemes journees validation des systemes a base de connaissance du PRC-GDR-IA du CNRS Strasbourg, 23 mars 1994

Centre National de la Recherche Scientifique (CNRS), 31 - Toulouse (France). Intelligenge Artificielle

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : Y 30403 / INIST-CNRS - I...

Contribution a la validation de donnees des systemes statiques et dynamiques

Keller, Jean-Yves

January 1991

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

Specification et validation de systemes de processus communicants

Marmonier, Marina

January 1989

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

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

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: outil de validation et/ou outil de constructiono

Guiho, Gerard
Universite de Paris 11, Laboratoire de Recherche en Informatique Orsay (FRANCE)
Centre National de la Recherche Scientifique, ERA 452, Al Khowarizmi Orsay (FRANCE)

January 1980

SIGLECNRS-CDST / 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

Etude de mesures de testabilite de systemes logiques

Dammak, Abdelaziz

January 1985

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

Validation de donnees et diagnostic des procedes industriels

Fayolle, Jean

January 1987

SIGLECNRS T 61142 / 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 ...

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 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 d'une base de regles Systeme fonde sur l'utilisation de modeles

Gailliard, L.
Grandbastien, M.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11034 / INIST-CNRS - ...

Une experience d'enseignement de la proportionnalite aux eleves instituteurs

Pezard, Monique

January 1985

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

Troisiemes journees validation des systemes a base de connaissance du PRC-GDR-IA du CNRS Strasbourg, 23 mars 1994

Centre National de la Recherche Scientifique (CNRS), 31 - Toulouse (France). Intelligenge Artificielle

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : Y 30403 / INIST-CNRS - I...

Contribution a la validation de donnees des systemes statiques et dynamiques

Keller, Jean-Yves

January 1991

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

Specification et validation de systemes de processus communicants

Marmonier, Marina

January 1989

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

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

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: outil de validation et/ou outil de constructiono

Guiho, Gerard
Universite de Paris 11, Laboratoire de Recherche en Informatique Orsay (FRANCE)
Centre National de la Recherche Scientifique, ERA 452, Al Khowarizmi Orsay (FRANCE)

January 1980

SIGLECNRS-CDST / 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

Etude de mesures de testabilite de systemes logiques

Dammak, Abdelaziz

January 1985

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

Validation de donnees et diagnostic des procedes industriels

Fayolle, Jean

January 1987

SIGLECNRS T 61142 / 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 ...

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 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 d'une base de regles Systeme fonde sur l'utilisation de modeles

Gailliard, L.
Grandbastien, M.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11034 / INIST-CNRS - ...

Une experience d'enseignement de la proportionnalite aux eleves instituteurs

Pezard, Monique

January 1985

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

Troisiemes journees validation des systemes a base de connaissance du PRC-GDR-IA du CNRS Strasbourg, 23 mars 1994

Centre National de la Recherche Scientifique (CNRS), 31 - Toulouse (France). Intelligenge Artificielle

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : Y 30403 / INIST-CNRS - I...

Contribution a la validation de donnees des systemes statiques et dynamiques

Keller, Jean-Yves

January 1991

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

Une experience dans la specification et la validation des systemes distribues

Abstract

Extracted data

Une experience dans la specification et la validation des systemes distribues

Abstract

Extracted data

Related items

Related items