Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationIntegrated Manufacturing Systems Engineering
Subtitle of host publicationselected papers of the European Workshop on Integrated Manufacturing Systems Engineering - IMSE'94
EditorsP Ladet, F. B Vernadat
Place of PublicationLondon
PublisherChapman & Hall
Pages129-143
Number of pages15
Publication statusPublished - 1995

Cite this

Dubois, E., & Petit, M. (1995). Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA. In P. Ladet, & F. B. Vernadat (Eds.), Integrated Manufacturing Systems Engineering: selected papers of the European Workshop on Integrated Manufacturing Systems Engineering - IMSE'94 (pp. 129-143). Chapman & Hall.