direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Towards the Verification of Refactorings of Hybrid Simulink Models
Zitatschlüssel SchlesingerHGG2015
Autor Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner
Buchtitel Proceedings of the Third International Workshop on Verification and Program Transformation (VPT 2015)
Seiten 69
Jahr 2015
ISSN 2075-2180
DOI 10.4204/EPTCS.199
Jahrgang 199
Serie EPTCS
Wie herausgegeben Extended Abstract
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe