direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification
Citation key Bartels2010b
Author Björn Bartels and Sabine Glesner and Thomas Göthel
Title of Book International Colloquium on Graph and Model Transformation – on the occasion of the 65th birthday of Hartmut Ehrig
Year 2010
ISSN 1863-2122
Journal Electronic Communications of the EASST
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe