Formal Development of Critical Systems with UML: Methods and Tools
International Symposium on Formal Methods for Components and Objects (FMCO 2005). 2005
Erscheinungsjahr: 2005
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft: | Bibliothek |
