direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models
Zitatschlüssel Schlesinger2016
Autor Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner
Buchtitel ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications
Seiten 45-50
Jahr 2016
ISBN 978-1-61208-451-0
ISSN 2308-4243
Verlag IARIA XPS Press
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe