MPG.eBooks - Search Results - "UML 2"

Search alternatives:
uml 2 » uml _, uml a

Cover Image

1

Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel...

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Architecture -- Blasting Linux Code -- A Finite State Modeling of AFDX Frame Management Using Spin -- UML 2...”