USMMC: A self-contained model checker for UML state machines
Author(s)
Liu, S
Liu, Y
Sun, J
Zheng, M
Wadhwa, B
Dong, JS
Griffith University Author(s)
Year published
2013
Metadata
Show full item recordConference Title
2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings
Subject
Software engineering not elsewhere classified