TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation

Publications

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

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe