Developing Security-Critical Distributed Systems with UML: Methods and Tools: A Half-day tutorial
6th International Conference on Formal Methods for Open Object-based Distributed Systems. Paris (France): IFIP 2003
Erscheinungsjahr: 2003
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch