direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Verification of Embedded Real-time Systems
Zitatschlüssel Herber2015
Autor Paula Herber and Sabine Glesner
Buchtitel Formal Modeling and Verification of Cyber Physical Systems
Jahr 2015
Verlag Springer
Link zur Originalpublikation [1] Download Bibtex Eintrag [2]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008