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

Modelisation et simulation interactive de cellules de production flexibles dans l'industrie manufacturiere

Castelain, Emmanuel

January 1987

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

Etude des possibilites d'interaction homme-machine dans un processus de traduction automatique

Zajac, Remi
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1986

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

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

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

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

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

Realisation d'un reseau interactif

Vialatte, M.C.
Mercier, J.J.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Clermont-Ferrand 2 Univ., 63 - Aubiere (France). Lab. d'Informatique

CNRS AR 12416 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Approche de modelisation du systeme de production d'une entreprise manufacturiere

Braesch, Christian

January 1989

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

Interaction homme-machine: biomecanique et conduite de processus. Exploration fonctionnelle assistee par ordinateur et atelier de genie logiciel specialise en traitement du signal

Ensminger, Denis

January 1992

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

Specification comportementale temporelle dans un simulateur multi-niveaux

Elfadi, Abdallah
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

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

L'interface projet/procede dans l'industrie chimique

Rigaud, Francois

January 1988

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

Specification algebrique et realisation d'un modeleur interactif d'objets geometrique volumiques

Bertrand, Yves

January 1992

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

Sur l'utilisation des reseaux de Petri colores pour la commande des systemes de production : mise en oeuvre sur un atelier flexible

Mercier Des Rochettes, Roselyne
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

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

Coyotte Estrada, Hugo Cesar

January 1989

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

Comportement mecanique et proprietes physiques de differents sols

Fellague-Chebra, Abdelkader
Institut National Polytechnique de Lorraine, 54 - Nancy (France)

January 1988

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

Modelisation et simulation interactive de cellules de production flexibles dans l'industrie manufacturiere

Castelain, Emmanuel

January 1987

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

Etude des possibilites d'interaction homme-machine dans un processus de traduction automatique

Zajac, Remi
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1986

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

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

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

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

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

Realisation d'un reseau interactif

Vialatte, M.C.
Mercier, J.J.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Clermont-Ferrand 2 Univ., 63 - Aubiere (France). Lab. d'Informatique

CNRS AR 12416 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Approche de modelisation du systeme de production d'une entreprise manufacturiere

Braesch, Christian

January 1989

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

Interaction homme-machine: biomecanique et conduite de processus. Exploration fonctionnelle assistee par ordinateur et atelier de genie logiciel specialise en traitement du signal

Ensminger, Denis

January 1992

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

Specification comportementale temporelle dans un simulateur multi-niveaux

Elfadi, Abdallah
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

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

L'interface projet/procede dans l'industrie chimique

Rigaud, Francois

January 1988

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

Specification algebrique et realisation d'un modeleur interactif d'objets geometrique volumiques

Bertrand, Yves

January 1992

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

Sur l'utilisation des reseaux de Petri colores pour la commande des systemes de production : mise en oeuvre sur un atelier flexible

Mercier Des Rochettes, Roselyne
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

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

Coyotte Estrada, Hugo Cesar

January 1989

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

Comportement mecanique et proprietes physiques de differents sols

Fellague-Chebra, Abdelkader
Institut National Polytechnique de Lorraine, 54 - Nancy (France)

January 1988

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

Modelisation et simulation interactive de cellules de production flexibles dans l'industrie manufacturiere

Castelain, Emmanuel

January 1987

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

Etude des possibilites d'interaction homme-machine dans un processus de traduction automatique

Zajac, Remi
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1986

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

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

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items