TU Berlin

Software and Embedded Systems EngineeringPublikationen

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

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 Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe