direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

The RESCUE Approach – Towards Compositional Hardware/Software Co-Verification
Zitatschlüssel Herber2014
Autor Paula Herber
Buchtitel IEEE International Conference on Embedded Software and Systems
Seiten 721-724
Jahr 2014
ISBN 978-1-4799-6123-8
Verlag IEEE
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe