Browsing Tesis de Doctorado en Ciencias de la Computación by Subject "Tolerancia a fallas"
Now showing items 1-2 of 2
-
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
(2020-06)En la actualidad la tolerancia a fallas cada vez adquiere mayor importancia, debido a que cada día hay más sistemas críticos en donde es necesario garantizar cierto comportamiento deseado aún ante la ocurrencia ocasional ... -
Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
(2022-09)En esta tesis abordamos la tolerancia a fallas desde una perspectiva formal. Analizamos y diseñamos herramientas formales generales para contribuir al proceso de construcción y razonamiento sobre sistemas tolerantes a ...