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

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

Etude sur la conversion et le Test de protocoles. These doc.-ing. Specialite: Informatique

Choi, Yanghee
Ecole Nationale Superieure des Telecommunications Paris (FRANCE)

January 1984

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

Comparaison d'outils de validation pour algorithmes distribues et protocoles

Brossard, Jean-Yves
Centre National d'Etudes des Telecommunications (CNET), 22 - Lannion (France). Div. Structures et Logiciels pour la Commutation

January 1987

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

Rapport des essais de validation des programmes de test et du materiel du calculateur MU 320

Julia, Y.
Larcher, L
Centre National d'Etudes des Telecommunications, Paris A, Division Centres et Logiciels de Commutation Issy-les-Moulineaux (FRANCE)

January 1982

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

Modelisation et validation par reseau de Petri du service du protocole de transport ARCHITEL

Lassudrie, Claire
Centre National d'Etudes des Telecommunications, Lannion A, Division Structures et Logiciels pour la Commutation Lannion (FRANCE)

January 1983

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

Specification formelle et validation de logiciels: l'exemple de la gestion des lignes d'abonne

De Ligarte, G
Centre National d'Etudes des Telecommunications, Paris A, Division Centres et Logiciels de Commutation Issy-les-Moulineaux (FRANCE)

January 1983

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

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 d'algorithmes par preuve symbolique: Un petit exemple

De Ugarte, G.
Joubert, T
Centre National d'Etudes des Telecommunications, Paris A, Division Centres et Logiciels de Commutation Issy-les-Moulineaux (FRANCE)

January 1984

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

Methodologie de validation des systemes structures en couches par reseaux de Petri : application au protocole transport

Cousin, Bernard

January 1987

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

Validite des methodes d'evaluation de la qualite des isolements aux bruits aeriens entre logements

Aubree, A.
Aubree, D.
Vian, J.P
Ministere de l'Environnement Neuilly-sur-Seine (FRANCE)
Centre Scientifique et Technique du Batiment Saint-Martin-d'Heres (FRANCE)

January 1984

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

Conception et validation de methodes simplifiees pour le dimensionnement des chauffages solaires actifs

Adnot, J.
Bourges, B.
Lasnier, F.
Peuportier, B
AFME Paris (FRANCE)
Ecole nationale superieure des mines de Paris Paris (FRANCE)

January 1983

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

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

Etude sur la conversion et le Test de protocoles. These doc.-ing. Specialite: Informatique

Choi, Yanghee
Ecole Nationale Superieure des Telecommunications Paris (FRANCE)

January 1984

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

Comparaison d'outils de validation pour algorithmes distribues et protocoles

Brossard, Jean-Yves
Centre National d'Etudes des Telecommunications (CNET), 22 - Lannion (France). Div. Structures et Logiciels pour la Commutation

January 1987

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

Rapport des essais de validation des programmes de test et du materiel du calculateur MU 320

Julia, Y.
Larcher, L
Centre National d'Etudes des Telecommunications, Paris A, Division Centres et Logiciels de Commutation Issy-les-Moulineaux (FRANCE)

January 1982

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

Modelisation et validation par reseau de Petri du service du protocole de transport ARCHITEL

Lassudrie, Claire
Centre National d'Etudes des Telecommunications, Lannion A, Division Structures et Logiciels pour la Commutation Lannion (FRANCE)

January 1983

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

Specification formelle et validation de logiciels: l'exemple de la gestion des lignes d'abonne

De Ligarte, G
Centre National d'Etudes des Telecommunications, Paris A, Division Centres et Logiciels de Commutation Issy-les-Moulineaux (FRANCE)

January 1983

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

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 d'algorithmes par preuve symbolique: Un petit exemple

De Ugarte, G.
Joubert, T
Centre National d'Etudes des Telecommunications, Paris A, Division Centres et Logiciels de Commutation Issy-les-Moulineaux (FRANCE)

January 1984

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

Methodologie de validation des systemes structures en couches par reseaux de Petri : application au protocole transport

Cousin, Bernard

January 1987

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

Validite des methodes d'evaluation de la qualite des isolements aux bruits aeriens entre logements

Aubree, A.
Aubree, D.
Vian, J.P
Ministere de l'Environnement Neuilly-sur-Seine (FRANCE)
Centre Scientifique et Technique du Batiment Saint-Martin-d'Heres (FRANCE)

January 1984

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

Conception et validation de methodes simplifiees pour le dimensionnement des chauffages solaires actifs

Adnot, J.
Bourges, B.
Lasnier, F.
Peuportier, B
AFME Paris (FRANCE)
Ecole nationale superieure des mines de Paris Paris (FRANCE)

January 1983

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

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

Etude sur la conversion et le Test de protocoles. These doc.-ing. Specialite: Informatique

Choi, Yanghee
Ecole Nationale Superieure des Telecommunications Paris (FRANCE)

January 1984

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

Comparaison d'outils de validation pour algorithmes distribues et protocoles

Brossard, Jean-Yves
Centre National d'Etudes des Telecommunications (CNET), 22 - Lannion (France). Div. Structures et Logiciels pour la Commutation

January 1987

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

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items