TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations
Citation key SchlesingerDGLG2015
Author Johannes Dyck and Holger Giese and Leen Lambers and Sebastian Schlesinger and Sabine Glesner
Title of Book 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)
Pages 36-45
Year 2015
ISSN 1613-0073
DOI urn:nbn:de:0074-1500-6
Volume 1500
Link to original publication Download Bibtex entry


Quick Access

Schnellnavigation zur Seite über Nummerneingabe