TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation

Publications

Service-Oriented Design and Verification of Hybrid Control Systems
Citation key Liebrenz2018b
Author Timm Liebrenz
Title of Book International Conference on Formal Engineering Methods
Year 2018
ISSN 0302-9743
Publisher Springer
Link to original publication Download Bibtex entry

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe