MoDeVVa 2014 Model-Driven Engineering, Verification and Validation
Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation
co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014)
Valencia, Spain, September 30, 2014.
Edited by
Frédéric Boulanger, Supélec, France Michalis Famelis, University of Toronto, Canada Daniel Ratiu, Siemens Corporate Technology, Germany