Towards a Formal Operational Semantics of UML Statechart Diagrams
| Cím | Towards a Formal Operational Semantics of UML Statechart Diagrams |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 1999 |
| Szerzők | Latella, D., Majzik, I., and Massink, M. |
| Könyvcím | Formal 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) |
| Pagination | 331 - 347 |
| Kiadó | Kluwer Academic Publishers |
| Város | Deventer |
| URL | http://mycite.omikk.bme.hu/doc/16331.pdf |
