Formal Development of Critical Systems with UML: Methods and Tools: A Half-day tutorial
FM 2003 -- 12th International Formal Methods Europe Symposium. Pisa, Italy. 2003
Erscheinungsjahr: 2003
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
