Call for Papers
Compositional Verification of UML Models
Workshop of the UML 2003 Conference
The definition of UML has been motivated by the need for a standard
notation for modelling system architectures and behaviours at
func
(We apologize for the reception of multiple copies)
ANNOUNCEMENT OF
The Second International Symposium on
Formal Methods for Components and Objects (FMCO 2003)
DATES 4 - 7 November, 2003
PLACE Lorentz Center, Leiden University, Leiden, The Netherlands
URL http://fmco.liacs.nl/fmco03.html
OBJECT
