Interoperability testing vs verification

Investigation sur les differentes approches de la definition et de la qualification des sites et sols pollues

Gourdon, Remy
Perrodin, Yves
Fery, Fabrice
Cambier, Philippe
Barriuso, Enrique
Monediaire, G.
Gouguet, J.J.
Tacheix, T.
Giraudel, C.
Centre National de la Recherche Scientifique (CNRS), 87 - Limoges (France). Centre de Recherche Interdisciplinaire en Droit de l'Environnement, de l'Amenagement et de l'Urbanisme (CRIDEAU)
Institut National de la Recherche Agronomique (INRA), 78 - Plaisir (France). Lab. des Sols
Ministere de l'Environnement, 75 - Paris (France). Service de la Recherche et des Affaires Economiques (SRAE)
Pollution, Dechets, Environnement (POLDEN), 69 - Villeurbanne (France)
Insavalor, 69 - Villeurbanne (France)
Institut National des Sciences Appliquees de Lyon (INSA), 69 - Villeurbanne (France). Div. Biotechnologies Environnementales
Institut National de la Recherche Agronomique (INRA), 78 - Versailles (France). Unite de Sciences du Sol

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : RP 185 (3616) / INIST-CNRS - ...

Mise en oeuvre d'une batterie de tests standardisee pour l'evaluation des performances psychomotrices

Lagarde, Didier
Pradella, Sylviane
Gapenne, Olivier
Batejat, Denise
Centre d'Etudes et de Recherches de Medecine Aerospatiale (CERMA), 75 - Paris (France). Lab. Central de Biologie Aerospatiale (LCBA)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10339 / 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 ...

Test d'interconnexion optique

De Beaucoudrey, N.
Bellemain, A.
Tusera, A.
Fortin, D.
Clavel, P.
Phalippou, D.
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Inst. d'Optique Theorique et appliquee
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

Methodes de verification de bases de connaissances

Lafon, Philippe
Ecole Nationale des Ponts et Chaussees (ENPC), 75 - Paris (France)

January 1991

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

Sensors and distributed systems interoperability criteria

Benkhellat, Yazid
Thomesse, Jean-Pierre
Siebert, Marc
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)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

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

Dynamique d'adoption de standards et test de non-coordination spatiale

Hardouin, Cecile
Guyon, Xavier
Bouzitat, Claude
Centre National de la Recherche Scientifique, 75 - Paris (France). Statistique Appliquee et Modelisation Stochastique
Centre National de la Recherche Scientifique, 75 - Paris (France). Unite Mixte de Service de la Maison des Sciences Economiques
Paris-1 Univ., 75 - Paris (France). Maison des Sciences Economiques
Centre National de la Recherche Scientifique, 75 - Paris (France). Modelisation Appliquee Trajectoires Institutionnelles Strategies Socio Economiques
Paris-1 Univ., 75 - (France). Modelisations Appliquees Trajectoires Institutionnelles Strategies Socio-Economiques
Paris-1 Univ., 75 - (France). Statistique appliquee et modelisation stochastique

January 1999

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

Methodes de verification de specifications comportementales: etude et mise en oeuvre

Mounier, Laurent

January 1992

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

Evaluation des examens preoperatoires

Agence Nationale pour le Developpement de l'Evaluation Medicale, 75 - Paris (France)

January 1992

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

A step towards a formal framework for interoperability testing

Barbin, Sebastien
Tanguy, Lenaick
Viho, Cesar
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Theme 1 - Reseaux et systemes - Projet ArmorSIGLEAvailable from INIST (FR), Document Supply Service,...

Specification, verification et raffinement de reseaux de processus communicants

Carrez, Francois

January 1991

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

Test aleatoire: Evaluation de la testabilite des circuits combinatoires

Simeu, Emmanuel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : T 84385 / INIST-CNRS - Inst...

Developpement d'un test protozoaire marin

Le Du, A.
Ministere de l'Environnement, 92 - Neuilly-sur-Seine (France). Service de la Recherche, des Etudes et du Traitement de l'Information sur l'Environnement
Rouen Univ., 76 - Saint-Etienne de Rouvray (France). Lab. de Toxicologie

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 185 (2840) / INIST-CN...

La verification empirique du caractere intuitif de certains concepts comptables de base : une etude exploratoire

Sranon, Carine
Pham, Dang
Chambre de Commerce et d'Industrie de Paris, 78 - Jouy-en-Josas (France). Groupe HEC

January 1996

Available at INIST (FR), Document Supply Service, under shelf-number : DO 4291 / INIST-CNRS - Instit...

Investigation sur les differentes approches de la definition et de la qualification des sites et sols pollues

Gourdon, Remy
Perrodin, Yves
Fery, Fabrice
Cambier, Philippe
Barriuso, Enrique
Monediaire, G.
Gouguet, J.J.
Tacheix, T.
Giraudel, C.
Centre National de la Recherche Scientifique (CNRS), 87 - Limoges (France). Centre de Recherche Interdisciplinaire en Droit de l'Environnement, de l'Amenagement et de l'Urbanisme (CRIDEAU)
Institut National de la Recherche Agronomique (INRA), 78 - Plaisir (France). Lab. des Sols
Ministere de l'Environnement, 75 - Paris (France). Service de la Recherche et des Affaires Economiques (SRAE)
Pollution, Dechets, Environnement (POLDEN), 69 - Villeurbanne (France)
Insavalor, 69 - Villeurbanne (France)
Institut National des Sciences Appliquees de Lyon (INSA), 69 - Villeurbanne (France). Div. Biotechnologies Environnementales
Institut National de la Recherche Agronomique (INRA), 78 - Versailles (France). Unite de Sciences du Sol

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : RP 185 (3616) / INIST-CNRS - ...

Mise en oeuvre d'une batterie de tests standardisee pour l'evaluation des performances psychomotrices

Lagarde, Didier
Pradella, Sylviane
Gapenne, Olivier
Batejat, Denise
Centre d'Etudes et de Recherches de Medecine Aerospatiale (CERMA), 75 - Paris (France). Lab. Central de Biologie Aerospatiale (LCBA)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10339 / 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 ...

Test d'interconnexion optique

De Beaucoudrey, N.
Bellemain, A.
Tusera, A.
Fortin, D.
Clavel, P.
Phalippou, D.
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Inst. d'Optique Theorique et appliquee
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

Methodes de verification de bases de connaissances

Lafon, Philippe
Ecole Nationale des Ponts et Chaussees (ENPC), 75 - Paris (France)

January 1991

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

Sensors and distributed systems interoperability criteria

Benkhellat, Yazid
Thomesse, Jean-Pierre
Siebert, Marc
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)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

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

Dynamique d'adoption de standards et test de non-coordination spatiale

Hardouin, Cecile
Guyon, Xavier
Bouzitat, Claude
Centre National de la Recherche Scientifique, 75 - Paris (France). Statistique Appliquee et Modelisation Stochastique
Centre National de la Recherche Scientifique, 75 - Paris (France). Unite Mixte de Service de la Maison des Sciences Economiques
Paris-1 Univ., 75 - Paris (France). Maison des Sciences Economiques
Centre National de la Recherche Scientifique, 75 - Paris (France). Modelisation Appliquee Trajectoires Institutionnelles Strategies Socio Economiques
Paris-1 Univ., 75 - (France). Modelisations Appliquees Trajectoires Institutionnelles Strategies Socio-Economiques
Paris-1 Univ., 75 - (France). Statistique appliquee et modelisation stochastique

January 1999

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

Methodes de verification de specifications comportementales: etude et mise en oeuvre

Mounier, Laurent

January 1992

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

Evaluation des examens preoperatoires

Agence Nationale pour le Developpement de l'Evaluation Medicale, 75 - Paris (France)

January 1992

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

A step towards a formal framework for interoperability testing

Barbin, Sebastien
Tanguy, Lenaick
Viho, Cesar
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Theme 1 - Reseaux et systemes - Projet ArmorSIGLEAvailable from INIST (FR), Document Supply Service,...

Specification, verification et raffinement de reseaux de processus communicants

Carrez, Francois

January 1991

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

Test aleatoire: Evaluation de la testabilite des circuits combinatoires

Simeu, Emmanuel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : T 84385 / INIST-CNRS - Inst...

Developpement d'un test protozoaire marin

Le Du, A.
Ministere de l'Environnement, 92 - Neuilly-sur-Seine (France). Service de la Recherche, des Etudes et du Traitement de l'Information sur l'Environnement
Rouen Univ., 76 - Saint-Etienne de Rouvray (France). Lab. de Toxicologie

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 185 (2840) / INIST-CN...

La verification empirique du caractere intuitif de certains concepts comptables de base : une etude exploratoire

Sranon, Carine
Pham, Dang
Chambre de Commerce et d'Industrie de Paris, 78 - Jouy-en-Josas (France). Groupe HEC

January 1996

Available at INIST (FR), Document Supply Service, under shelf-number : DO 4291 / INIST-CNRS - Instit...

Investigation sur les differentes approches de la definition et de la qualification des sites et sols pollues

Gourdon, Remy
Perrodin, Yves
Fery, Fabrice
Cambier, Philippe
Barriuso, Enrique
Monediaire, G.
Gouguet, J.J.
Tacheix, T.
Giraudel, C.
Centre National de la Recherche Scientifique (CNRS), 87 - Limoges (France). Centre de Recherche Interdisciplinaire en Droit de l'Environnement, de l'Amenagement et de l'Urbanisme (CRIDEAU)
Institut National de la Recherche Agronomique (INRA), 78 - Plaisir (France). Lab. des Sols
Ministere de l'Environnement, 75 - Paris (France). Service de la Recherche et des Affaires Economiques (SRAE)
Pollution, Dechets, Environnement (POLDEN), 69 - Villeurbanne (France)
Insavalor, 69 - Villeurbanne (France)
Institut National des Sciences Appliquees de Lyon (INSA), 69 - Villeurbanne (France). Div. Biotechnologies Environnementales
Institut National de la Recherche Agronomique (INRA), 78 - Versailles (France). Unite de Sciences du Sol

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : RP 185 (3616) / INIST-CNRS - ...

Mise en oeuvre d'une batterie de tests standardisee pour l'evaluation des performances psychomotrices

Lagarde, Didier
Pradella, Sylviane
Gapenne, Olivier
Batejat, Denise
Centre d'Etudes et de Recherches de Medecine Aerospatiale (CERMA), 75 - Paris (France). Lab. Central de Biologie Aerospatiale (LCBA)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10339 / 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 ...

Interoperability testing vs verification

Abstract

Extracted data

Interoperability testing vs verification

Abstract

Extracted data

Related items

Related items