direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations
Zitatschlüssel SchlesingerDGLG2015
Autor Johannes Dyck and Holger Giese and Leen Lambers and Sebastian Schlesinger and Sabine Glesner
Buchtitel 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)
Seiten 36-45
Jahr 2015
ISSN 1613-0073
DOI urn:nbn:de:0074-1500-6
Jahrgang 1500
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe