USMMC: A self-contained model checker for UML state machines

Author

Wadhwa, Bimlesh

Year published

2013

Metadata

Show full item record

Conference Title

ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

DOI

https://doi.org/10.1145/2491411.2494595

Subject

Computer Software not elsewhere classified

Publication URI

http://hdl.handle.net/10072/184957

Collection

Conference outputs