Hauptreferent: Korreferent: Tag der mündlichen Prüfung: Francisco Mendoza Cervantes aus Mexiko Stadt Print on Demand 2014 ISBN 978-3-7315-0169-5 DOI: 10.5445/KSP/1000038209Ī Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems Zur Erlangung des akademischen Grades eines DOKTOR-INGENIEURS von der Fakultät für Elektrotechnik und Informationstechnik des Karlsruher Instituts für Technologie (KIT) genehmigte DISSERTATION von M.

This document – excluding the cover – is licensed under the Creative Commons Attribution-Share Alike 3.0 DE License (CC BY-SA 3.0 DE): The cover page is licensed under the Creative Commons Attribution-No Derivatives 3.0 DE License (CC BY-ND 3.0 DE): Reprint using the book cover is not allowed. Karlsruher Institut für Technologie (KIT) KIT Scientific Publishing Straße am Forum 2 D-76131 Karlsruhe KIT Scientific Publishing is a registered trademark of Karlsruhe Institute of Technology. A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systemsįrancisco Mendoza Cervantes A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded SystemsĪ Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems by Francisco Mendoza Cervantesĭissertation, Karlsruher Institut für Technologie (KIT) Fakultät für Elektrotechnik und Informationstechnik Tag der mündlichen Prüfung: 15.

Pspice schematics 9.1 citation ieee