Thèse
- 2 résultats
Résultats de recherche
-
Construction et formalisation de spécifications conceptuelles pour les systèmes productiques
Auteur: Petit, M., 1992Superviseur: Dubois, É. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
-
Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach
Auteur: Petit, M., 1999Superviseur: Dubois, É. (Promoteur)
Student thesis: Doc types › Docteur en Sciences