Formal verification of UML state diagrams
Choppy, Christine, Klai, Kais, Zidani, HaceneVolume:
36
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1921532.1921561
Date:
January, 2011
File:
PDF, 779 KB
english, 2011