Formal Semantics for Interacting UML Subsystems
Bart Jacobs; Arend Rensink (Hrsg). Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2002; March 20–22, 2002; Enschede, The Netherlands. New York: Kluwer Academic Publishers 2002 S. 29 - 43
Erscheinungsjahr: 2002
ISBN/ISSN: 978-1-4757-5268-7
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-0-387-35496-5_4
| Geprüft | Bibliothek |
