Formal Requirements Engineering ofManufacturing Systems A Multi Formalism andComponent Based Approach byMichael Petit
Thesis submitted in conformity with the requirementsfor the degree of Doctor of Phylosophy of theComputer Science DepartmentUniversity of NamurRue Grandgagnage