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   Tue 30-Apr-24 . 17:21



Mapa Web


Localización

Noticias

Info Santander



Gestión BD
GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification
Tipo:Articulo en revista internacional
Lugar:TCAD
Fecha:2017-03
Autores: Pablo González
Pablo Pedro Sánchez
Líneas: Verificación de sistemas embebidos
Proyectos:
ISBN:
Fichero:
Resumen:
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster