Identificador persistente para citar o vincular este elemento: http://hdl.handle.net/10553/61069
Título: Especificación y verificación formal de un sistema de administración de redes distribuido con árbitro
Autores/as: Marrero Ruiz, Mario
Director/a : Suárez Sarmiento, Álvaro 
Clasificación UNESCO: 3325 Tecnología de las telecomunicaciones
Palabras clave: Telecomunicaciones
Electrónica
Fecha de publicación: 2001
Facultad: Escuela de Ingeniería de Telecomunicación y Electrónica
Titulación: Ingeniero de Telecomunicación
URI: http://hdl.handle.net/10553/61069
Derechos: Acceso restringido para la comunidad universitaria de la ULPGC
Colección:Proyecto fin de carrera
Restringido ULPGC
miniatura
Adobe PDF (16,57 MB)
Inicia sesión para acceder

En el caso de que no encuentre el documento puede ser debido a que el centro o las/os autoras/es no autorizan su publicación. Si tiene verdadero interés en el contenido del mismo, puede dirigirse al director/a o directores/as del trabajo cuyos datos encontrará más arriba.

Vista completa

Visitas

29
actualizado el 23-sep-2023

Descargas

13
actualizado el 23-sep-2023

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.