Custom cover image
Custom cover image

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems / by Francisco Mendoza Cervantes

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Karlsruhe : KIT Scientific Publishing, 2014Description: Online-RessourceISBN:
  • 9783731501695
Subject(s): Genre/Form: Additional physical formats: Druckausg.: A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems. Karlsruhe : KIT Scientific Publishing, 2014. X, 168 S. | Druckausg.: : Mendoza Cervantes, Francisco: A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems DDC classification:
  • 004.21 22/ger
  • 621.392 22/ger
  • 620
  • 621.3
  • 670
DOI: DOI: 10.5445/KSP/1000038209Online resources: Notes: Anmerkungen: Elektronische RessourceNote: Hinweis: Elektronische RessourceDissertation note: Zugl.: Karlsruhe, KIT, Diss., 2013 PPN: PPN: 78478762XPackage identifier: Produktsigel: GBV-ODiss | ZDB-104-KIT
No physical items for this record

Systemvoraussetzungen: Acrobat reader.

KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT