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

CímAutomatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
Közlemény típusaJournal Article
Kiadás éve1999
SzerzőkLatella, D., Majzik, I., and Massink, M.
FolyóiratFORMAL ASPECTS OF COMPUTING
Kötet11
Kiadás6
Pagination637 - 664
Kiadás dátuma1999
ISBN-szám0934-5043
URLhttp://mycite.omikk.bme.hu/doc/16328.pdf