Author:
Selim Gehan M. K.,Lúcio Levi,Cordy James R.,Dingel Juergen,Oakes Bentley J.
Publisher
Springer International Publishing
Reference21 articles.
1. AUTOSAR Consortium. AUTOSAR System Template (2007),
http://autosar.org/download/R3.1/AUTOSAR_SystemTemplate.pdf
2. Amrani, M., Lúcio, L., Selim, G., Combemale, B., Dingel, J., Vangheluwe, H., Le Traon, Y., Cordy, J.R.: A Tridimensional Approach for Studying the Formal Verification of Model Transformations. In: VOLT, pp. 921–928 (2012)
3. Anastasakis, K., Bordbar, B., Küster, J.: Analysis of Model Transformations via Alloy. MoDeVVa, 47–56 (2007)
4. Lecture Notes in Computer Science;T. Arendt,2010
5. Asztalos, M., Lengyel, L., Levendovszky, T.: Formal Specification and Analysis of Functional Properties of Graph Rewriting-Based Model Transformation. Software Testing, Verification and Reliability 23(5), 405–435 (2013)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献