Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2022.

Bibliographic Details
Main Author: Acosta, Araceli Natalia
Other Authors: Aguirre, Nazareno Matías
Format: bachelorThesis
Language:spa
Published: 2023
Subjects:
Online Access:http://hdl.handle.net/11086/548512