Author:
Guerra Esther,de Lara Juan
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference45 articles.
1. Barkaoui, K., Dutheillet, C., Haddad, S.: An efficient algorithm for finding structural deadlocks in colored Petri nets. In: APN’93, pp. 69–88 (1993)
2. Boronat, A.: MOMENT: A formal framework for MOdel managemMENT. PhD thesis, Universitat Politécnica de Valencia (2007). http://moment.dsic.upv.es/content/view/34/75/ . Accessed Nov 2010
3. Boronat, A., Carsí, J.A., Ramos, I.: Algebraic specification of a model transformation engine. In: FASE’06. LNCS, vol. 3922, pp. 262–277. Springer, Berlin (2006)
4. Boronat, A., Heckel, R., Meseguer, J.: Rewriting logic semantics and verification of model transformations. In: FASE’09. LNCS, vol. 5503, pp. 18–33. Springer, Berlin (2009)
5. Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83(2), 283–302 (2010)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献