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 [1] Download Bibtex entry [2]
------ Links: ------

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008