Jump to Navigation

Debugging UML designs with model checking

TitleDebugging UML designs with model checking
Publication TypeJournal Article
Year of Publication2002
AuthorsGallardo, M-del-M., P. Merino, and E. Pimentel
JournalJournal of Object Technology
Volume1
Pagination101–117
Date Publishedoct
PublisherETH
ISSN1660-1769


Main menu 2

Biblio | by Dr. Radut