Title | UML-VT: A Formal Verification Environment for UML Activity Diagrams. |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Daw, Zamira, Mangino John, and Cleaveland Rance |
Conference Name | P&D@ MoDELS |
Title | UML-VT: A Formal Verification Environment for UML Activity Diagrams. |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Daw, Zamira, Mangino John, and Cleaveland Rance |
Conference Name | P&D@ MoDELS |