Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/2593
Collections
Title
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
Author
Latella D
Majzik, István
Massink M
Date of issue
1999
Language
en
Identifiers
MTMT: 2614702
Scopus: 0000381112
Title of the container document
FORMAL ASPECTS OF COMPUTING
Volume of container document
11
Number of container document
6
ISSN, e-ISSN
0934-5043
Document type
folyóiratcikk
Document genre
szakcikk