Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2000
Eshuis, H. and Wieringa, R.J.
(2000)
Requirements Level Semantics for UML Statecharts.
In: 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), 6-8 Sept 2000, Stanford, California, USA.
pp. 121-140.
IFIP Conference Proceedings 177.
Kluwer Academic Publishers.
ISBN 0792379233
Distefano, D.S. and Katoen, J.P. and Rensink, A.
(2000)
On a Temporal Logic for Object-Based Systems.
In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'2000).
pp. 305-326.
Kluwer Academic Publishers.
ISBN 0-7923-7923-3
This list was generated on Thu May 24 08:14:36 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||