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)

Author(s)

Department/unit(s)

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
Pages117-126
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