The Formal Requirements Engineering of Manufacturing Systems

Eric Dubois; Michaël Petit

The Formal Requirements Engineering of Manufacturing Systems

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

Original language	English
Title of host publication	Proceedings of the Second International Working Conference on Cooperative Knowledge Based Systems - CKBS'94
Subtitle of host publication	University of Keele, June 14-17, 1994
Editors	S. M Deen
Place of Publication	University of Keele
Publisher	DAKE Center
Pages	67-82
Number of pages	16
Publication status	Published - 1994

Cite this

@inproceedings{24693f1b86ad404e8cde4d2f8190f7c2,

title = "The Formal Requirements Engineering of Manufacturing Systems",

author = "Eric Dubois and Micha{\"e}l Petit",

note = "Publication editors : S.M. Deen (Ed.)",

year = "1994",

language = "English",

pages = "67--82",

editor = "Deen, {S. M}",

booktitle = "Proceedings of the Second International Working Conference on Cooperative Knowledge Based Systems - CKBS'94",

publisher = "DAKE Center",

}

The Formal Requirements Engineering of Manufacturing Systems. / Dubois, Eric; Petit, Michaël.
Proceedings of the Second International Working Conference on Cooperative Knowledge Based Systems - CKBS'94: University of Keele, June 14-17, 1994. ed. / S. M Deen. University of Keele: DAKE Center, 1994. p. 67-82.

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

TY - GEN

T1 - The Formal Requirements Engineering of Manufacturing Systems

AU - Dubois, Eric

AU - Petit, Michaël

N1 - Publication editors : S.M. Deen (Ed.)

PY - 1994

Y1 - 1994

M3 - Conference contribution

SP - 67

EP - 82

BT - Proceedings of the Second International Working Conference on Cooperative Knowledge Based Systems - CKBS'94

A2 - Deen, S. M

PB - DAKE Center

CY - University of Keele

ER -