Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA

Eric Dubois; Michaël Petit

Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Integrated Manufacturing Systems Engineering
Subtitle of host publication	selected papers of the European Workshop on Integrated Manufacturing Systems Engineering - IMSE'94
Editors	P Ladet, F. B Vernadat
Place of Publication	London
Publisher	Chapman & Hall
Pages	129-143
Number of pages	15
Publication status	Published - 1995

Cite this

@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",

}

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 proceeding › Chapter

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 -