Thèse de doctorat en Sciences appliquées
Sous la direction de Michel Veron.
Soutenue en 1989
à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .
On décrit l'environnement SPEX pour la spécification exécutable des machines et systèmes automatisés de production, associant analyse descendante avec IDEF-0 et synthèse ascendante à partir de composants réutilisables, à l'aide du Grafcet
A contribution to automation engineering : the executable specification of manufacturing equipments
Pas de résumé disponible.