César Cuevas Cuesta, Patricia López Martínez, José M. Drake. Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray, editors, MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016. pages 455-466, SciTePress, 2016. [doi]
Abstract is missing.