MPG.eBooks - Search Results - "UML 2"

Search alternatives:
uml 2 » uml _, uml a

Cover Image

1

Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro,...

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- On the Semantic Foundations of Standard UML 2.0 -- Tools and Applications -- A Tutorial on Uppaal...”