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

Automates avec cout et reconnaissabilite dans les monoiedes libres commutatifs

Gohon, Philippe

January 1986

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

Principes et specifications d'un generateur d'editeurs

Marty, Jean-Charles
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)

January 1984

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

Reseaux d'automates: panorama des recherches

Amy, Bernard
Decamp, E.
Guez, Stephane
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1987

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

Un automate d'unification pour la machine OPALE

Ianeselli, Jean-Christophe
Berger Sabbatel, Gilles
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1984

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

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

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

Analyse et synthese des systemes d'assemblage automatises

Olivier, Pascal

January 1986

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

Specification et programmation en LPG

Bensalem, Saddek
Bert, Didier
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

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

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

Tixador, Jean Marc

January 1989

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

Etude et realisation d'un systeme de mesurage automatique

Vernieres, Jean-Claude
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Electro Test Industrie, 56 - Vannes (France)

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

Automatisation du systeme d'echange d'informations pedagogiques et techniques d'edition electronique

Lustin, D.
Mission Interministerielle de l'Information Scientifique et Technique (MIDIST), 75 - Paris (France)
Comite d'Etudes sur les Formations d'Ingenieurs (CEFI), 75 - Paris (France). Bureau d'Ingenierie Pedagogique (BIP)

January 1985

CNRS RP 179 (246) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Verification automatique de programmes ESTEREL

Lecompte, Valerie

January 1989

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

Une methode d'analyse et de synthese de la partie commande des machines et systemes automatises de production

Anakok, Yeva
Institut Superieur des Materiaux et de la Construction Mecanique, 93 - Saint-Ouen (France)

January 1987

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

Programme automatisation et robotique avancee

Piquard, J.F.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
CEA Centre d'Etudes Nucleaires de Grenoble, 38 (France). Lab. d'Electronique et de Technologie de l'Informatique (LETI)

January 1984

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

Automates programmables industriels et securite. Specifications des besoins et applications a l'EDF

Chemali, A.M.
Piat, G.
Electricite de France, 92 - Clamart (France). Service Materiel Electrique

January 1984

CNRS RP 270 (157) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Automates avec cout et reconnaissabilite dans les monoiedes libres commutatifs

Gohon, Philippe

January 1986

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

Principes et specifications d'un generateur d'editeurs

Marty, Jean-Charles
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)

January 1984

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

Reseaux d'automates: panorama des recherches

Amy, Bernard
Decamp, E.
Guez, Stephane
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1987

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

Un automate d'unification pour la machine OPALE

Ianeselli, Jean-Christophe
Berger Sabbatel, Gilles
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1984

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

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

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

Analyse et synthese des systemes d'assemblage automatises

Olivier, Pascal

January 1986

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

Specification et programmation en LPG

Bensalem, Saddek
Bert, Didier
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

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

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

Tixador, Jean Marc

January 1989

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

Etude et realisation d'un systeme de mesurage automatique

Vernieres, Jean-Claude
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Electro Test Industrie, 56 - Vannes (France)

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

Automatisation du systeme d'echange d'informations pedagogiques et techniques d'edition electronique

Lustin, D.
Mission Interministerielle de l'Information Scientifique et Technique (MIDIST), 75 - Paris (France)
Comite d'Etudes sur les Formations d'Ingenieurs (CEFI), 75 - Paris (France). Bureau d'Ingenierie Pedagogique (BIP)

January 1985

CNRS RP 179 (246) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Verification automatique de programmes ESTEREL

Lecompte, Valerie

January 1989

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

Une methode d'analyse et de synthese de la partie commande des machines et systemes automatises de production

Anakok, Yeva
Institut Superieur des Materiaux et de la Construction Mecanique, 93 - Saint-Ouen (France)

January 1987

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

Programme automatisation et robotique avancee

Piquard, J.F.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
CEA Centre d'Etudes Nucleaires de Grenoble, 38 (France). Lab. d'Electronique et de Technologie de l'Informatique (LETI)

January 1984

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

Automates programmables industriels et securite. Specifications des besoins et applications a l'EDF

Chemali, A.M.
Piat, G.
Electricite de France, 92 - Clamart (France). Service Materiel Electrique

January 1984

CNRS RP 270 (157) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Automates avec cout et reconnaissabilite dans les monoiedes libres commutatifs

Gohon, Philippe

January 1986

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

Principes et specifications d'un generateur d'editeurs

Marty, Jean-Charles
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)

January 1984

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

Reseaux d'automates: panorama des recherches

Amy, Bernard
Decamp, E.
Guez, Stephane
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1987

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

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items