TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


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


Quick Access

Schnellnavigation zur Seite über Nummerneingabe