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   Fri 04-Apr-25 . 14:28



Mapa Web


Localización

Noticias

Info Santander



Gestión BD
GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems
Tipo:Publicacion en Proceedings o Actas internacionales
Lugar:ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE'05). Italy
Fecha:2005-07
Autores: Iñigo Ugarte
Pablo Pedro Sánchez
Líneas:
Proyectos:
ISBN:0-7803-9227-2
Fichero:
Resumen:
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster