direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow
Citation key Schlesinger20160
Author Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner
Title of Book Cyber Physical Systems. Design, Modeling, and Evaluation
Pages 71-86
Year 2016
ISBN 978-3-319-51737-7
Location Pittsburgh, PA, USA
Volume 10107
Editor Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
Publisher Springer
Series Lecture Notes in Computer Science (LNCS)
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions