Mostrar el registro sencillo del ítem

Tesis Doctoral

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
dcterms.identifierhttps://ror.org/03yxnpp24
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

FicherosTamañoFormatoVerDescripción
O_Tesis-12.pdf27.14MbIcon   [PDF] Ver/Abrir  

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional