Identificador persistente para citar o vincular este elemento: http://hdl.handle.net/10553/62712
Título: Aportaciones a la verificación formal de circuitos secuenciales
Autores/as: Navarro Botello,Héctor 
Director/a : Montiel Nelson, Juan Antonio 
Clasificación UNESCO: 3307 Tecnología electrónica
Palabras clave: Electrónica
Circuitos electrónicos
Fecha de publicación: 2006
Departamento: Departamento de Ingeniería Electrónica Y Automática
Facultad: Escuela de Ingeniería de Telecomunicación y Electrónica
URI: http://hdl.handle.net/10553/62712
Derechos: Acceso restringido para la comunidad universitaria de la ULPGC
Colección:Tesis doctoral
Restringido ULPGC
miniatura
Adobe PDF (6,8 MB)
Inicia sesión para acceder
Vista completa

Visitas

42
actualizado el 23-may-2024

Descargas

19
actualizado el 23-may-2024

Google ScholarTM

Verifica


Comparte



Exporta metadatos



Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.