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). London: Chapman & Hall.
Dubois, Eric ; Petit, Michaël. / Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA. Integrated Manufacturing Systems Engineering: selected papers of the European Workshop on Integrated Manufacturing Systems Engineering - IMSE'94. editor / P Ladet ; F. B Vernadat. London : Chapman & Hall, 1995. pp. 129-143
@inbook{19de2fb2226e449fa06c0a8458d16d8c,
title = "Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA",
author = "Eric Dubois and Micha{\"e}l Petit",
note = "Publication editors : P. Ladet and F. B. Vernadat (Eds.)",
year = "1995",
language = "English",
pages = "129--143",
editor = "P Ladet and Vernadat, {F. B}",
booktitle = "Integrated Manufacturing Systems Engineering",
publisher = "Chapman & Hall",

}

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

Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA. / Dubois, Eric; Petit, Michaël.

Integrated Manufacturing Systems Engineering: selected papers of the European Workshop on Integrated Manufacturing Systems Engineering - IMSE'94. ed. / P Ladet; F. B Vernadat. London : Chapman & Hall, 1995. p. 129-143.

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

TY - CHAP

T1 - Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA

AU - Dubois, Eric

AU - Petit, Michaël

N1 - Publication editors : P. Ladet and F. B. Vernadat (Eds.)

PY - 1995

Y1 - 1995

M3 - Chapter

SP - 129

EP - 143

BT - Integrated Manufacturing Systems Engineering

A2 - Ladet, P

A2 - Vernadat, F. B

PB - Chapman & Hall

CY - London

ER -

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