Une contribution au genie automatique : la specification executable des machines et systemes automatises de production

Methodologie de specification des systemes automatises

Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
TNI Industries, 29 - Brest (France)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Centre de Recherche en Informatique de Nancy
Regie Nationale des Usines Renault, 92 - Boulogne-Billancourt (France)

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : AR 15384 / INIST-CNRS - Insti...

Contribution a l'etude et a la realisation d'un systeme de generation automatique de schemas de cablages electriques

Aoudja, Ferid

January 1986

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

Contribution a la surete des automatismes sequentiels : modelisation, identification et test en ligne de la partie operative

Hachemani, Rabah

January 1987

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

Une contribution au Genie Automatique: le prototypage des machines et systemes automatises de production

Panetto, Herve

January 1991

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

Contribution a l'automatisation du processus de repoussage

Oualia, Zeineddine
Ecole Normale Superieure des Arts et Metiers, 75 - Paris (France)

January 1987

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

Systeme d'automatisation de l'automation integree de production

Dufourt, Daniel
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Economie des Changements Technologiques

January 1987

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

Contribution a la theorie des automates : automates d'arbres infinis et applications a la logique et a la programmation

Saoudi, Ahmed

January 1987

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

Contribution a la classification automatique de donnees de production en technologie de groupe

Nadif, Abdellah

January 1987

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

Etude de la synthese automatique de programme a partir d'une specification complete

Potet, Marie-Laure
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

CNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Contribution a la surete de fonctionnement des systemes de production automatisee par le developpement d'un outil de maintenance assistee par ordinateur

Lyonnet, Patrick

January 1991

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

Contribution a l'etude de dispositifs d'assainissement autonome

Derangere-Fernandez, Dominique

January 1988

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

Etude d'un systeme de generation automatique de gammes de fabrication

Spadoni, Michel

January 1987

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

Les systemes-experts et l'automatisation

Rozenholc, M.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1985

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

Architecture d'automatisme en securite des machines : etude des conditions de conception liees aux defaillances de mode commun

Charpentier, Philippe
Institut National Polytechnique de Lorraine, 54 - Nancy (France)

January 2002

Available from INIST (FR), Document Supply Service, under shelf-number : 18477 / INIST-CNRS - Instit...

Contribution a l'etude d'une methode de conception des automatismes des systemes de conduite des Processus Industriels

Belhimeur, Abdelmajid

January 1989

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

Methodologie de specification des systemes automatises

Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
TNI Industries, 29 - Brest (France)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Centre de Recherche en Informatique de Nancy
Regie Nationale des Usines Renault, 92 - Boulogne-Billancourt (France)

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : AR 15384 / INIST-CNRS - Insti...

Contribution a l'etude et a la realisation d'un systeme de generation automatique de schemas de cablages electriques

Aoudja, Ferid

January 1986

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

Contribution a la surete des automatismes sequentiels : modelisation, identification et test en ligne de la partie operative

Hachemani, Rabah

January 1987

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

Une contribution au Genie Automatique: le prototypage des machines et systemes automatises de production

Panetto, Herve

January 1991

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

Contribution a l'automatisation du processus de repoussage

Oualia, Zeineddine
Ecole Normale Superieure des Arts et Metiers, 75 - Paris (France)

January 1987

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

Systeme d'automatisation de l'automation integree de production

Dufourt, Daniel
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Economie des Changements Technologiques

January 1987

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

Contribution a la theorie des automates : automates d'arbres infinis et applications a la logique et a la programmation

Saoudi, Ahmed

January 1987

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

Contribution a la classification automatique de donnees de production en technologie de groupe

Nadif, Abdellah

January 1987

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

Etude de la synthese automatique de programme a partir d'une specification complete

Potet, Marie-Laure
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

CNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Contribution a la surete de fonctionnement des systemes de production automatisee par le developpement d'un outil de maintenance assistee par ordinateur

Lyonnet, Patrick

January 1991

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

Contribution a l'etude de dispositifs d'assainissement autonome

Derangere-Fernandez, Dominique

January 1988

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

Etude d'un systeme de generation automatique de gammes de fabrication

Spadoni, Michel

January 1987

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

Les systemes-experts et l'automatisation

Rozenholc, M.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1985

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

Architecture d'automatisme en securite des machines : etude des conditions de conception liees aux defaillances de mode commun

Charpentier, Philippe
Institut National Polytechnique de Lorraine, 54 - Nancy (France)

January 2002

Available from INIST (FR), Document Supply Service, under shelf-number : 18477 / INIST-CNRS - Instit...

Contribution a l'etude d'une methode de conception des automatismes des systemes de conduite des Processus Industriels

Belhimeur, Abdelmajid

January 1989

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

Methodologie de specification des systemes automatises

Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
TNI Industries, 29 - Brest (France)
Centre National de la Recherche Scientifique (CNRS), 54 - Nancy (France). Centre de Recherche en Informatique de Nancy
Regie Nationale des Usines Renault, 92 - Boulogne-Billancourt (France)

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : AR 15384 / INIST-CNRS - Insti...

Contribution a l'etude et a la realisation d'un systeme de generation automatique de schemas de cablages electriques

Aoudja, Ferid

January 1986

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

Contribution a la surete des automatismes sequentiels : modelisation, identification et test en ligne de la partie operative

Hachemani, Rabah

January 1987

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

Une contribution au genie automatique : la specification executable des machines et systemes automatises de production

Abstract

Extracted data

Une contribution au genie automatique : la specification executable des machines et systemes automatises de production

Abstract

Extracted data

Related items

Related items