2011 16th IEEE International Conference on Engineering of Complex Computer Systems Journal

Overview

publication venue for

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