Résultats de recherche

• Construction et formalisation de spécifications conceptuelles pour les systèmes productiques

  Petit, M. (Auteur)Dubois, É. (Promoteur), 1992

  Student thesis: Master types › Master en sciences informatiques

• Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach

  Petit, M. (Auteur)Dubois, É. (Promoteur), 1999

  Student thesis: Doc types › Docteur en Sciences