Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

 Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Sat 18-May-24 . 13:40



Mapa Web


Localización

Noticias

Info Santander



Gestión BD
GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Code Generation and Heterogeneous Run-Time Environments for the Co-Verification of Embedded Systems (second increment)
Tipo:Informe, Estudio o Dictamen por encargo
Lugar:Deliverable D3.4 the FP7-216807 SATURN Project
Fecha:2010-09
Autores: Pablo Peñil
Eugenio Villar
Wolfgang Mueller
Da He
Fabian Mischkalla
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: FP7 216807 SATURN
ISBN:
Fichero:
Resumen:
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster