Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 06:53:29 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||