direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions