Browsing Tesis de Doctorado en Ciencias de la Computación by Subject "Model checking"
Now showing items 1-1 of 1
-
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 ...