Conference
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models
Authors
Santos OMD; Woodcock J; Paige R
Pagination
pp. 117-126
Publisher
IEEE
Publication Date
April 1, 2011
ISBN-13
9781612848532
DOI
10.1109/ICECCS.2011.19
Conference proceedings
2011 16th IEEE International Conference on Engineering of Complex Computer Systems