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

Overview
Research
Identity
Additional Document Info
View All

authors

Santos, Osmar M dos
Woodcock, Jim
Paige, Richard

status

published

publication date

April 2011

published in

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

presented at event

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