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 record
Conference 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
DOI
Subject
Computer Software not elsewhere classified
Publication URI
Collection