Techniques formelles pour le developpement de systemes de conduite de procedes manufacturiers: abstraction, specification, synthese et optimisation

Etude et realisation d'un ensemble de comptage et de tri automatise d'objets - Application a la blanchisserie industrielle

Penin, Dominique

January 1991

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

Des mecanismes pour l'assistance aux utilisateurs dans un atelier de genie logiciel conduit par des modeles

Canals, Jerome

January 1992

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

Developpement et analyse d'outils pour la conception des systemes de commande robuste

Begovich Mendoza, Ofelia

January 1992

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

Techniques et systemes d'acquisition des connaissances

Sobral, Rui

January 1989

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

Methode systematique de conception et de realisation d'applications en vision par ordinateur

Bonnin, Patrick

January 1991

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

Systeme de conception automatique de gammes d'usinage pour les industries manufacturieres

Brissaud, Daniel

January 1992

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

Aides a la gestion des donnees techniques des produits industriel

Cheballah, Kamal
Ecole Centrale de Lyon (ECL), 69 - Ecully (France)

January 1992

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

Methodes d'optimisation dans un contexte productique

Elomri, Amina

January 1992

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

Une synthese des approches methodologiques du systeme d'information comptable

De Montgolfier, Clotilde
Chapellier, Philippe
Montpellier-2 Univ., 34 (France). Centre de Recherche en Gestion des Organisations (CREGO)

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 3282 / INIST-CNRS - I...

Systemes de production et genie des procedes, mecanique

Taine, J.
Scutaru, D.
Meunier, S.
Rosemann, L.
Hartmann, J.M.
Perrin, M.Y.
Langlois, S.
Esposito, E.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France). Lab. d'Energetique Moleculaire et Macroscopique, Combustion
Societe Nationale d'Etude et de Construction de Moteurs d'Aviation, 91 - Corbeil (France)
Centre National de la Recherche Scientifique (CNRS), 92 - Chatenay-Malabry (France). Lab. d'Energetique Moleculaire et Macroscopique, Combustion

January 1991

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

Contribution a la conception de systemes flexibles de production: Application de la Technique de Description Formelle Estelle

Mazzola, Vitorio

January 1991

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

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

Etat de l'art des methodes de specification de systemes concurrents

Beaufils, Frederic
Everaere, Nicole
Schwer, Sylviane
Meziere, Didier
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15430 / INIST-CNRS - ...

Synthese et etude de materiaux organiques a raie RPE etroite

Michel, Philippe

January 1989

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

Application des techniques de raffinement a la specification de systemes de commande vivants et surs de fonctionnement

Tankoano, Joachim
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11157 / INIST-CNRS - ...

Etude et realisation d'un ensemble de comptage et de tri automatise d'objets - Application a la blanchisserie industrielle

Penin, Dominique

January 1991

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

Des mecanismes pour l'assistance aux utilisateurs dans un atelier de genie logiciel conduit par des modeles

Canals, Jerome

January 1992

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

Developpement et analyse d'outils pour la conception des systemes de commande robuste

Begovich Mendoza, Ofelia

January 1992

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

Techniques et systemes d'acquisition des connaissances

Sobral, Rui

January 1989

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

Methode systematique de conception et de realisation d'applications en vision par ordinateur

Bonnin, Patrick

January 1991

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

Systeme de conception automatique de gammes d'usinage pour les industries manufacturieres

Brissaud, Daniel

January 1992

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

Aides a la gestion des donnees techniques des produits industriel

Cheballah, Kamal
Ecole Centrale de Lyon (ECL), 69 - Ecully (France)

January 1992

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

Methodes d'optimisation dans un contexte productique

Elomri, Amina

January 1992

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

Une synthese des approches methodologiques du systeme d'information comptable

De Montgolfier, Clotilde
Chapellier, Philippe
Montpellier-2 Univ., 34 (France). Centre de Recherche en Gestion des Organisations (CREGO)

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 3282 / INIST-CNRS - I...

Systemes de production et genie des procedes, mecanique

Taine, J.
Scutaru, D.
Meunier, S.
Rosemann, L.
Hartmann, J.M.
Perrin, M.Y.
Langlois, S.
Esposito, E.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France). Lab. d'Energetique Moleculaire et Macroscopique, Combustion
Societe Nationale d'Etude et de Construction de Moteurs d'Aviation, 91 - Corbeil (France)
Centre National de la Recherche Scientifique (CNRS), 92 - Chatenay-Malabry (France). Lab. d'Energetique Moleculaire et Macroscopique, Combustion

January 1991

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

Contribution a la conception de systemes flexibles de production: Application de la Technique de Description Formelle Estelle

Mazzola, Vitorio

January 1991

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

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

Etat de l'art des methodes de specification de systemes concurrents

Beaufils, Frederic
Everaere, Nicole
Schwer, Sylviane
Meziere, Didier
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15430 / INIST-CNRS - ...

Synthese et etude de materiaux organiques a raie RPE etroite

Michel, Philippe

January 1989

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

Application des techniques de raffinement a la specification de systemes de commande vivants et surs de fonctionnement

Tankoano, Joachim
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11157 / INIST-CNRS - ...

Etude et realisation d'un ensemble de comptage et de tri automatise d'objets - Application a la blanchisserie industrielle

Penin, Dominique

January 1991

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

Des mecanismes pour l'assistance aux utilisateurs dans un atelier de genie logiciel conduit par des modeles

Canals, Jerome

January 1992

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

Developpement et analyse d'outils pour la conception des systemes de commande robuste

Begovich Mendoza, Ofelia

January 1992

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

Techniques formelles pour le developpement de systemes de conduite de procedes manufacturiers: abstraction, specification, synthese et optimisation

Abstract

Extracted data

Techniques formelles pour le developpement de systemes de conduite de procedes manufacturiers: abstraction, specification, synthese et optimisation

Abstract

Extracted data

Related items

Related items