Automated verification of executable UML models

H.H. Hansen, J. Ketema, B. Luttik, M.R. Mousavi, J.C. van de Pol, O.M. dos Santos

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
JournalLecture Notes in Computer Science
Issue number6957
Publication statusPublished - 2011
EventFormal Methods for Components and Objects - Berlin
Duration: 1 Jan 20111 Jan 2011

Bibliographical note

Proceedings title: Formal Methods for Components and Objects (FMCO 2010, Graz, Austria, November 29-December 1, 2010. Revised Papers)
Publisher: Springer
Place of publication: Berlin

Cite this