Home Publications

Verification of ATL Transformations Using Transformation Models and Model Finders

Research Area: Uncategorized Year: 2012
Type of Publication: In Proceedings
  • Büttner, Fabian
  • Egea, Marina
  • Cabot, Jordi
  • Gogolla, Martin
Editor: Toshiaki Aoki and Kenji Taguchi Volume: 7635
Book title: Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Series: Lecture Notes in Computer Science Pages: 198-213
ISBN: 978-3-642-34280-6
partners: ATOS-INRIA; projects: NESSoS, and Nouvelles E´quipes program of the Pays de la Loire region (France). No tier.