By the same authors

Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)

Published copy (DOI)



Publication details

Title of host publication16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011
DatePublished - 2011
Number of pages10
PublisherIEEE Computer Society Press
EditorsIsabelle Perseil, Karin Breitman, Roy Sterritt
Original languageUndefined/Unknown

Bibliographical note

© 2011 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations