Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

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)

Publication date

January 1980

Abstract

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

Extracted data

Related items

Realisation de l'outil Mec : specification fonctionnelle et architecture

Crubille, Paul

January 1989

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

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

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

Specification et validation de systemes de processus communicants

Marmonier, Marina

January 1989

SIGLECNRS T 66497 / 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

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

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

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

Raffinements de specifications generiques au moyen d'outils algebriques

Bert, Didier
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

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

Specifications techniques d'agrement des deviateurs d'appel

Centre National d'Etudes des Telecommunications, Paris A, Division Terminaux Procedures et Applications Issy-les-Moulineaux (FRANCE)

January 1983

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

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

Specifications fonctionnelles de la methode d'acces au service de presentation ARCHITEL

Centre National d'Etudes des Telecommunications, Paris A Issy-les-Moulineaux (FRANCE)

January 1984

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

Utilisation de types de donnees abstraits algebriques pour la specification, conception et verification de logiciel

De Ugarte, G
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 d'un reseau de microprocesseurs par affinements successifs

Shapiro
Centre National de la Recherche Scientifique, Laboratoire d'Automatique et d'Analyse des Systemes Toulouse (FRANCE)

January 1979

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

Realisation de l'outil Mec : specification fonctionnelle et architecture

Crubille, Paul

January 1989

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

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

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

Specification et validation de systemes de processus communicants

Marmonier, Marina

January 1989

SIGLECNRS T 66497 / 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

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

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

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

Raffinements de specifications generiques au moyen d'outils algebriques

Bert, Didier
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

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

Specifications techniques d'agrement des deviateurs d'appel

Centre National d'Etudes des Telecommunications, Paris A, Division Terminaux Procedures et Applications Issy-les-Moulineaux (FRANCE)

January 1983

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

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

Specifications fonctionnelles de la methode d'acces au service de presentation ARCHITEL

Centre National d'Etudes des Telecommunications, Paris A Issy-les-Moulineaux (FRANCE)

January 1984

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

Utilisation de types de donnees abstraits algebriques pour la specification, conception et verification de logiciel

De Ugarte, G
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 d'un reseau de microprocesseurs par affinements successifs

Shapiro
Centre National de la Recherche Scientifique, Laboratoire d'Automatique et d'Analyse des Systemes Toulouse (FRANCE)

January 1979

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

Realisation de l'outil Mec : specification fonctionnelle et architecture

Crubille, Paul

January 1989

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

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