Formal Validation of UML Statechart Diagrams Models

TitleFormal Validation of UML Statechart Diagrams Models
Publication TypeConference Paper
Year of Publication2000
AuthorsGnesi, S., Latella, D., Majzik, I., and Massink, M.
Conference NameUML2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language)
Date Published2000
URLhttp://mycite.omikk.bme.hu/doc/16334.pdf