Media type: E-Book; Thesis Title: A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems Contributor: Mendoza Cervantes, Francisco [Author] Published: Karlsruhe: KIT Scientific Publishing, 2014 Extent: Online-Ressource Language: English DOI: 10.5445/KSP/1000038209 ISBN: 9783731501695 Identifier: Keywords: Eingebettetes System > CAD > Virtuelle Produktentwicklung > Systemmodell > CASHE > Computersimulation > Domänenspezifische Programmiersprache > SystemC > Verifikation > Automatisierungstechnik Origination: University thesis: Zugl.: Karlsruhe, KIT, Diss., 2013 Footnote: Lizenzpflichtig Systemvoraussetzungen: Acrobat reader Access State: Open Access