A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

Libro

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

Mendoza Cervantes, Francisco · KIT Scientific Publishing

Material complementario disponible

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Mendoza Cervantes, Francisco

Editorial

KIT Scientific Publishing

ISBN

9783731501695

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

Acceso principal

Material complementario disponible

El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.

Abrir material

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Mendoza Cervantes, F. (s. f.). A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems. KIT Scientific Publishing. https://nodovox.com/record.php?id=167999

MLA

Mendoza Cervantes, Francisco. A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems. KIT Scientific Publishing. https://nodovox.com/record.php?id=167999.

Chicago

Mendoza Cervantes, Francisco. s. f. A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems. KIT Scientific Publishing. https://nodovox.com/record.php?id=167999.

Harvard

Mendoza Cervantes, F. s. f, A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems, KIT Scientific Publishing, available at: https://nodovox.com/record.php?id=167999 [Accessed 1 Jul. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

Autor / colaboradores: Mendoza Cervantes, Francisco

Editorial: KIT Scientific Publishing

ISBN: 9783731501695