Author:
Calegari Daniel,Mossakowski Till,Szasz Nora
Funder
Agencia Nacional de Investigación e Innovación
Reference57 articles.
1. Model driven engineering;Kent,2002
2. Formal executable semantics for conformance in the MDE framework;Egea;Innov. Syst. Softw. Eng.,2010
3. Verification of model transformations: A survey of the state-of-the-art;Calegari;Electron. Notes Theor. Comput. Sci.,2013
4. Heterogeneous verification of model transformations;Calegari,2014
5. Institution-based foundations for verification in the context of model-driven engineering;Calegari;Sci. Comput. Program.,2015
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献