Thesis
- 2 results
Search results
-
Construction et formalisation de spécifications conceptuelles pour les systèmes productiques
Author: Petit, M., 1992Supervisor: Dubois, É. (Supervisor)
Student thesis: Master types › Master in Computer science
-
Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach
Author: Petit, M., 1999Supervisor: Dubois, É. (Supervisor)
Student thesis: Doc types › Doctor of Sciences