1. accedaCRIS
  2. Publicaciones
  3. Proyecto fin de carrera
Please use this identifier to cite or link to this item: https://accedacris.ulpgc.es/handle/10553/61069
DC FieldValueLanguage
dc.contributor.advisorSuárez Sarmiento, Álvaroes
dc.contributor.authorMarrero Ruiz, Marioes
dc.date.accessioned2020-01-21T07:53:52Z-
dc.date.available2007-06-06T00:00:00Zes
dc.date.available2020-01-21T07:53:52Z-
dc.date.issued2001en_US
dc.identifier.othercontentdm-postulpgces
dc.identifier.urihttps://accedacris.ulpgc.es/handle/10553/61069-
dc.formatPDFes
dc.format.mimetype300 ppp., TIFF sin compresiónes
dc.languagespaen_US
dc.rightsAcceso restringido para la comunidad universitaria de la ULPGCes
dc.subject3325 Tecnología de las telecomunicacionesen_US
dc.subject.otherTelecomunicacioneses
dc.subject.otherElectrónicaes
dc.titleEspecificación y verificación formal de un sistema de administración de redes distribuido con árbitroes
dc.typeinfo:eu-repo/semantics/studentThesisen_US
dc.typeStudentThesisen_US
dc.contributor.facultadEscuela de Ingeniería de Telecomunicación y Electrónicaen_US
dc.identifier.absysnet219247es
dc.type2Proyecto fin de carreraen_US
dc.identifier.currens442es
dc.description.numberofpages228 p.es
dc.utils.revisionSíen_US
dc.identifier.matriculaTFT-13531es
dc.identifier.ulpgcSíes
dc.contributor.titulacionIngeniero de Telecomunicaciónes
item.fulltextCon texto completo-
item.grantfulltextrestricted-
crisitem.advisor.deptGIR IUCES: Arquitectura y Concurrencia-
crisitem.advisor.deptIU de Cibernética, Empresa y Sociedad (IUCES)-
crisitem.advisor.deptDepartamento de Ingeniería Telemática-
Appears in Collections:Proyecto fin de carrera
Restringido ULPGC
Thumbnail
Adobe PDF (16,57 MB)
This file is reserved to the following groups: autenticados
Show simple item record

Page view(s)

29
checked on Sep 23, 2023

Download(s)

13
checked on Sep 23, 2023

Google ScholarTM

Check


Share


Export metadata


Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.