direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Verified Model Refactorings for Hybrid Control Systems
Zitatschlüssel SchlesingerphdForum
Autor Sebastian Schlesinger
Buchtitel DATE Conference PhD Forum
Jahr 2018
Ort Dresden
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe