direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Towards the Verification of Refactorings of Hybrid Simulink Models
Citation key SchlesingerHGG2015
Author Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner
Title of Book Proceedings of the Third International Workshop on Verification and Program Transformation (VPT 2015)
Pages 69
Year 2015
ISSN 2075-2180
DOI 10.4204/EPTCS.199
Volume 199
Series EPTCS
How Published Extended Abstract
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions