Specification et realisation d'un service de fichiers fiable pour le systeme d'exploitation reparti CHORUS

Mise en oeuvre d'operateurs flous dans une base de donnees

Galibourg, Marc

January 1988

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

Sur un outil interactif de specification de gamme operatoires en production flexible manufacturiere

Gasnier, Benedicte

January 1989

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

Etude du moniteur d'un systeme fonctionnellement reparti

Souai, Mohamed
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1987

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

Prise en compte de specifications en ingenierie : application aux systemes experts de conception

Montalban, Manuel

January 1987

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

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

Systeme d'exploitation oriente reseaux et telecoms

Boulanger, Philippe

January 1990

SIGLEINIST T 73641 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Conception d'un service d'archivage multimedia dans un environnement bureautique ouvert

Coelho Ferreira, Paulo Cesar

January 1987

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

Preuve de formules conditionnelles dans des specifications algebriques conditionnelles

Choquer, Francoise

January 1986

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

Modelisation des systemes d'exploitation par HBDS

Fernandez, Conception

January 1988

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

La designation et l'edition de liens dans les systemes d'exploitation repartis

Legatheaux Martins, Jose

January 1986

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

Outil d'aide a la specification et a l'implementation de protocoles de transfert

Rieu, Christine

January 1989

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

Methodes, langages et outils de specification et de construction des systemes de diagnostic

El Ayeb, Bechir

January 1989

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

Systemes frustres

Azaria, Patrick

January 1988

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

Conception et realisation d'un systeme de gestion de base de donnees suivant un modele objet

El Youssefi, Abdelhakim

January 1989

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

Mise en oeuvre d'operateurs flous dans une base de donnees

Galibourg, Marc

January 1988

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

Sur un outil interactif de specification de gamme operatoires en production flexible manufacturiere

Gasnier, Benedicte

January 1989

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

Etude du moniteur d'un systeme fonctionnellement reparti

Souai, Mohamed
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1987

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

Prise en compte de specifications en ingenierie : application aux systemes experts de conception

Montalban, Manuel

January 1987

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

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

Systeme d'exploitation oriente reseaux et telecoms

Boulanger, Philippe

January 1990

SIGLEINIST T 73641 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Conception d'un service d'archivage multimedia dans un environnement bureautique ouvert

Coelho Ferreira, Paulo Cesar

January 1987

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

Preuve de formules conditionnelles dans des specifications algebriques conditionnelles

Choquer, Francoise

January 1986

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

Modelisation des systemes d'exploitation par HBDS

Fernandez, Conception

January 1988

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

La designation et l'edition de liens dans les systemes d'exploitation repartis

Legatheaux Martins, Jose

January 1986

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

Outil d'aide a la specification et a l'implementation de protocoles de transfert

Rieu, Christine

January 1989

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

Methodes, langages et outils de specification et de construction des systemes de diagnostic

El Ayeb, Bechir

January 1989

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

Systemes frustres

Azaria, Patrick

January 1988

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

Conception et realisation d'un systeme de gestion de base de donnees suivant un modele objet

El Youssefi, Abdelhakim

January 1989

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

Mise en oeuvre d'operateurs flous dans une base de donnees

Galibourg, Marc

January 1988

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

Sur un outil interactif de specification de gamme operatoires en production flexible manufacturiere

Gasnier, Benedicte

January 1989

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

Etude du moniteur d'un systeme fonctionnellement reparti

Souai, Mohamed
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1987

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

Specification et realisation d'un service de fichiers fiable pour le systeme d'exploitation reparti CHORUS

Abstract

Extracted data

Specification et realisation d'un service de fichiers fiable pour le systeme d'exploitation reparti CHORUS

Abstract

Extracted data

Related items

Related items