direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

The RESCUE Approach – Towards Compositional Hardware/Software Co-Verification
Citation key Herber2014
Author Paula Herber
Title of Book IEEE International Conference on Embedded Software and Systems
Pages 721-724
Year 2014
ISBN 978-1-4799-6123-8
Publisher IEEE
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe