TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


Verification of Embedded Real-time Systems
Citation key Herber2015
Author Paula Herber and Sabine Glesner
Title of Book Formal Modeling and Verification of Cyber Physical Systems
Year 2015
Publisher Springer
Link to original publication Download Bibtex entry


Quick Access

Schnellnavigation zur Seite über Nummerneingabe