Publications:Automated Verification of Executable UML Models

From CERES
Revision as of 05:43, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

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