direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

A Service-oriented Approach for Decomposing and Verifying Hybrid System Models
Zitatschlüssel Liebrenz2019
Autor Timm Liebrenz and Paula Herber and Sabine Glesner
Buchtitel International Conference on Formal Aspects of Component Software
Jahr 2019
Verlag Springer
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe