EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Kilov, H.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2002

Dijkman, R.M. and Quartel, D.A.C. and Ferreira Pires, L. and van Sinderen, M.J. (2002) Semantic verification of Behavior Conformance. In: Proceedings of the Eleventh OOPSLA Workshop on Behavioral Semantics - Serving the Customer, 4-8 Nov 2002. pp. 43-54. ISBN not assigned

1999

Wieringa, R.J. (1999) Embedding object-oriented design in system engineering. In: Behavioral Specifications of Businesses and Systems. Kluwer International Series in Engineering & Computer Science 523. Springer, Berlin/Heidelberg, Germany, pp. 287-310. ISBN 0792386299

This list was generated on Fri Apr 28 01:34:32 CEST 2017.