Model-Driven Engineering Languages and Systems: 16th ...
Preview
Michalis Famelis, Rick Salay, Alessio Di Sandro, and Marsha Chechik Automated Verification of Model Transformations in the Automotive Industry .............................. .......................... Gehan M.K. Selim, Fabian Büttner, James R. Cordy, Juergen ...