direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification
Zitatschlüssel Bartels2010b
Autor Björn Bartels and Sabine Glesner and Thomas Göthel
Buchtitel International Colloquium on Graph and Model Transformation – on the occasion of the 65th birthday of Hartmut Ehrig
Jahr 2010
ISSN 1863-2122
Journal Electronic Communications of the EASST
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe