direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow
Zitatschlüssel Schlesinger20160
Autor Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner
Buchtitel Cyber Physical Systems. Design, Modeling, and Evaluation
Seiten 71-86
Jahr 2016
ISBN 978-3-319-51737-7
Ort Pittsburgh, PA, USA
Jahrgang 10107
Herausgeber Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
Verlag Springer
Serie Lecture Notes in Computer Science (LNCS)
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe