Publications:Automated Verification of Executable UML Models
From CERES
| Title | Automated Verification of Executable UML Models |
|---|---|
| Author | Helle Hvid Hansen and Jeroen Ketema and Bas Luttik and Mohammad Reza Mousavi and Jaco van de Pol and Osmar Osmar Marchi dos Santos |
| Year | 2011 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | Post-Proceedings of the International Symposium on Formal Methods for Components and Objects (FMCO 2010) |
| DOI | http://dx.doi.org/10.1007/978-3-642-25271-6_12 |
| Conference | 9th International Symposium on Formal Methods for Components and Objects (FMCO 2010), Graz, Austria, 29 November - 1 December |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583427 |
| Abstract |
