direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models
Citation key Schlesinger2016
Author Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner
Title of Book ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications
Pages 45-50
Year 2016
ISBN 978-1-61208-451-0
ISSN 2308-4243
Publisher IARIA XPS Press
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions