Towards a Formal Operational Semantics of UML Statechart Diagrams

Author	Latella D
Author	Majzik, István
Author	Massink M
Date Accessioned	2016-09-04T21:29:47Z
Date Available	2016-09-04T21:29:47Z
Date Issued	1999
URI	http://hdl.handle.net/10890/2596
dc.language.iso	en
Publisher	Kluwer Academic Publishers
Title	Towards a Formal Operational Semantics of UML Statechart Diagrams
Type	könyvrészlet
ISBN, e-ISBN	0-7923-8429-6
Title	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)
Other Identifier: MTMT	2614706
local.other.containerMtmt	2614705
Gender	konferenciaközlemény

Files

Now showing 1 - 1 of 1