Mostrar el registro sencillo del ítem
Tesis Doctoral
Aplicación de las técnicas de descripción formal al análisis de implementación de protocolos de telecontrol de redes eléctricas
dc.contributor.advisor | Gómez González, Isabel María | es |
dc.contributor.advisor | Luque Rodríguez, Joaquín | es |
dc.creator | Medina Rodríguez, Ana Verónica | es |
dc.date.accessioned | 2017-03-06T13:02:13Z | |
dc.date.available | 2017-03-06T13:02:13Z | |
dc.date.issued | 1999-05-28 | |
dc.identifier.citation | Medina Rodríguez, A.V. (1999). Aplicación de las técnicas de descripción formal al análisis de implementación de protocolos de telecontrol de redes eléctricas. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. | |
dc.identifier.uri | http://hdl.handle.net/11441/55384 | |
dc.description.abstract | En esta tesis se plantea un doble problema. Por un lado, partiendo de la especificación formal de una protocolo de telecontrol, se desea obtener un análisis de su prestaciones de forma automática, es decir, sin tener que recurrir a métodos clásicos de análisis, sean éstos analíticos o mediante simulación. El segundo problema que se pre tende resolver es el de diseñar una técnica eficiente de implantación de protocolo. Por ello se plantea como objetivo realizar una recopilación de las dispersas y escasas descripciones sobre técnicas de implementación, contribuir a dichas técnicas con aportaciones propias, y por último, construir un mecanismo que permita implementar de forma automática un protocolo a partir de su especificación formal. | es |
dc.format | application/pdf | es |
dc.language.iso | spa | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Aplicación de las técnicas de descripción formal al análisis de implementación de protocolos de telecontrol de redes eléctricas | es |
dc.type | info:eu-repo/semantics/doctoralThesis | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Tecnología Electrónica | es |
idus.format.extent | 285 p. | es |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
O_Tesis-12.pdf | 27.14Mb | [PDF] | Ver/ | |