USMMC: A self-contained model checker for UML state machines
No Thumbnail Available
File version
Author(s)
Liu, S
Liu, Y
Sun, J
Zheng, M
Wadhwa, B
Dong, JS
Liu, Y
Sun, J
Zheng, M
Wadhwa, B
Dong, JS
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Meyer B.
Date
2013
Size
File type(s)
Location
License
Journal Title
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
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Software engineering not elsewhere classified