External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations

Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner. Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. In Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe, editors, Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 28, 2015. Volume 1500 of CEUR Workshop Proceedings, pages 36-45, CEUR-WS.org, 2015. [doi]

Authors

Johannes Dyck

This author has not been identified. Look up ' Johannes Dyck' in Google

Holger Giese

This author has not been identified. It may be one of the following persons: Look up 'Holger Giese' in Google

Leen Lambers

This author has not been identified. Look up 'Leen Lambers' in Google

Sebastian Schlesinger

This author has not been identified. Look up 'Sebastian Schlesinger' in Google

Sabine Glesner

This author has not been identified. Look up 'Sabine Glesner' in Google
runs on