TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


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


Quick Access

Schnellnavigation zur Seite über Nummerneingabe