TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


Verified Model Refactorings for Hybrid Control Systems
Citation key SchlesingerphdForum
Author Sebastian Schlesinger
Title of Book DATE Conference PhD Forum
Year 2018
Location Dresden
Link to original publication Download Bibtex entry


Quick Access

Schnellnavigation zur Seite über Nummerneingabe