Difference between revisions of "Publications:Automated Verification of Executable UML Models"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco v...") |
(No difference)
|
Latest revision as of 04:43, 26 June 2014
| 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 |
