direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

A Service-oriented Approach for Decomposing and Verifying Hybrid System Models
Citation key Liebrenz2019
Author Timm Liebrenz and Paula Herber and Sabine Glesner
Title of Book International Conference on Formal Aspects of Component Software
Year 2019
Publisher Springer
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions