2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) Conference

Scholarly Activity

related documents

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