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   Herramientas   Bolsa de Empleo   english version Fri 29-Mar-24 . 14:03



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Synthesis and formal proof language support
Tipo:Informe, Estudio o Dictamen por encargo
Lugar:CENELEC TC117 report
Fecha:1994-09
Autores: Eugenio Villar
A. Debreil
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: ESPRIT 8370 ESIP
ISBN:
Fichero:
Resumen:
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster