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

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

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

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.

Cite this