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

Michaƫl Petit. Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach. PhD thesis, University of Namur, Belgium, 1999. [doi]

Abstract

Abstract is missing.