direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Service-Oriented Design and Verification of Hybrid Control Systems
Zitatschlüssel Liebrenz2018b
Autor Timm Liebrenz
Buchtitel International Conference on Formal Engineering Methods
Jahr 2018
ISSN 0302-9743
Verlag Springer
Link zur Originalpublikation [1] Download Bibtex Eintrag [2]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008