Towards a Formal Operational Semantics of UML Statechart Diagrams

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/2596
Collections
Title
Towards a Formal Operational Semantics of UML Statechart Diagrams
Author
Latella D
Majzik, István
Massink M
Date of issue
1999
Publisher
Kluwer Academic Publishers
Language
en
Identifiers
MTMT: 2614706
Title of the container document
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)
ISBN, e-ISBN
0-7923-8429-6
Document type
könyvrészlet
Document genre
konferenciaközlemény