16 search results - page 4 / 4 » Compositional Verification of Reactive Systems Specified by ... |
103
click to vote
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...