Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints.

Csar Cuevas Cuesta, Patricia Lpez Martnez, Jos M. Drake

Browse the full MODELSWARD paper archive.