Validation d'une base de regles Systeme fonde sur l'utilisation de modeles

Regles de justification des fondations sur pieux a partir des essais pressiometriques

Ministere de l'Urbanisme, du Logement et des Transports, 75 - Paris (France). Direction des routes
Laboratoire Central des Ponts et Chaussees, 75 - Paris (France)
Ministere de l'Urbanisme, du Logement et des Transports, 92 - Bagneux (France). Service d'Etudes Techniques des Routes et Autoroutes

January 1985

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

Specification et validation du protocole de communication KerNet+

Botcherby-De Bonet D'Oleon, Karen

January 1991

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

Synthese et validation d'algorithmes pour protections numeriques d'un reseau moyenne tension

Bastard, Patrick

January 1992

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

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 ...

Modelisation et validation des systemes de production par les reseaux de Petri colores

Guebla, Abdallah
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1991

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

Modelisation et validation d'applications temps reel distribuees

Nassor, Eric

January 1992

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

Validation experimentale d'un modele mathematique des effets de l'entrainement sur la performance

Busso, Thierry

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 80556 / 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 ...

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 ...

La validation de l'information comptable : un besoin neglige, une necessite conceptuelle

Demolli, Eric
Clermont-Ferrand Univ., 63 (France). Inst. d'Administration des Entreprises
Nice Univ., 06 (France). Inst. d'Administration des Entreprises

January 1991

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

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...

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 -...

Methodologie pour la validation, les essais et la mise en route de systemes automatises de production

Klotz, Emmanuel
Magnon, Jean-Philippe
Lhoste, Pascal
Roesch, Michel
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Lab. d'Automatique= et de Commande Numerique (LACN)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Centre de Recherche en Informatique de Nancy
Groupe Sofresid, 93 - Montreuil (France)

January 1991

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15856 / INIST-CNRS - Ins...

Validation experimentale et numerique des modeles d'interaction particule-particule dans les lits fluidises denses

Simonin, Olivier (ed.)
Electricite de France (EDF), 75 - Paris (France)
Institut Francais du Petrole (IFP), 92 - Rueil-Malmaison (France)
Total CFP, 75 - Paris (France)

January 1996

Programme EDF/IFP/TOTALAvailable from INIST (FR), Document Supply Service, under shelf-number : AR 1...

Regles de justification des fondations sur pieux a partir des essais pressiometriques

Ministere de l'Urbanisme, du Logement et des Transports, 75 - Paris (France). Direction des routes
Laboratoire Central des Ponts et Chaussees, 75 - Paris (France)
Ministere de l'Urbanisme, du Logement et des Transports, 92 - Bagneux (France). Service d'Etudes Techniques des Routes et Autoroutes

January 1985

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

Specification et validation du protocole de communication KerNet+

Botcherby-De Bonet D'Oleon, Karen

January 1991

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

Synthese et validation d'algorithmes pour protections numeriques d'un reseau moyenne tension

Bastard, Patrick

January 1992

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

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 ...

Modelisation et validation des systemes de production par les reseaux de Petri colores

Guebla, Abdallah
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1991

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

Modelisation et validation d'applications temps reel distribuees

Nassor, Eric

January 1992

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

Validation experimentale d'un modele mathematique des effets de l'entrainement sur la performance

Busso, Thierry

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 80556 / 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 ...

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 ...

La validation de l'information comptable : un besoin neglige, une necessite conceptuelle

Demolli, Eric
Clermont-Ferrand Univ., 63 (France). Inst. d'Administration des Entreprises
Nice Univ., 06 (France). Inst. d'Administration des Entreprises

January 1991

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

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...

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 -...

Methodologie pour la validation, les essais et la mise en route de systemes automatises de production

Klotz, Emmanuel
Magnon, Jean-Philippe
Lhoste, Pascal
Roesch, Michel
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Lab. d'Automatique= et de Commande Numerique (LACN)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Centre de Recherche en Informatique de Nancy
Groupe Sofresid, 93 - Montreuil (France)

January 1991

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15856 / INIST-CNRS - Ins...

Validation experimentale et numerique des modeles d'interaction particule-particule dans les lits fluidises denses

Simonin, Olivier (ed.)
Electricite de France (EDF), 75 - Paris (France)
Institut Francais du Petrole (IFP), 92 - Rueil-Malmaison (France)
Total CFP, 75 - Paris (France)

January 1996

Programme EDF/IFP/TOTALAvailable from INIST (FR), Document Supply Service, under shelf-number : AR 1...

Regles de justification des fondations sur pieux a partir des essais pressiometriques

Ministere de l'Urbanisme, du Logement et des Transports, 75 - Paris (France). Direction des routes
Laboratoire Central des Ponts et Chaussees, 75 - Paris (France)
Ministere de l'Urbanisme, du Logement et des Transports, 92 - Bagneux (France). Service d'Etudes Techniques des Routes et Autoroutes

January 1985

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

Specification et validation du protocole de communication KerNet+

Botcherby-De Bonet D'Oleon, Karen

January 1991

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

Synthese et validation d'algorithmes pour protections numeriques d'un reseau moyenne tension

Bastard, Patrick

January 1992

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

Validation d'une base de regles Systeme fonde sur l'utilisation de modeles

Abstract

Extracted data

Validation d'une base de regles Systeme fonde sur l'utilisation de modeles

Abstract

Extracted data

Related items

Related items