Towards a Formal Operational Semantics of UML Statechart Diagrams

CímTowards a Formal Operational Semantics of UML Statechart Diagrams
Közlemény típusaBook Chapter
Kiadás éve1999
SzerzőkLatella, D., Majzik, I., and Massink, M.
KönyvcímFormal Methods for Open Object-Based Distributed Systems (Proc. Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), February 15-18, 1999, Florence, Italy)
Pagination331 - 347
KiadóKluwer Academic Publishers
VárosDeventer
URLhttp://mycite.omikk.bme.hu/doc/16331.pdf