Show simple item record

PhD Thesis

dc.contributor.advisorGómez González, Isabel Maríaes
dc.contributor.advisorLuque Rodríguez, Joaquínes
dc.creatorMedina Rodríguez, Ana Verónicaes
dc.date.accessioned2017-03-06T13:02:13Z
dc.date.available2017-03-06T13:02:13Z
dc.date.issued1999-05-28
dc.identifier.citationMedina 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.urihttp://hdl.handle.net/11441/55384
dc.description.abstractEn 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.formatapplication/pdfes
dc.language.isospaes
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.titleAplicación de las técnicas de descripción formal al análisis de implementación de protocolos de telecontrol de redes eléctricases
dc.typeinfo:eu-repo/semantics/doctoralThesises
dc.type.versioninfo:eu-repo/semantics/publishedVersiones
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Tecnología Electrónicaes
idus.format.extent285 p.es

FilesSizeFormatViewDescription
O_Tesis-12.pdf27.14MbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional