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.

Guardado en:
Detalles Bibliográficos
Autor principal: Acosta, Araceli Natalia
Otros Autores: Aguirre, Nazareno Matías
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2023
Materias:
Teoría de la computación
Tolerancia a fallas
Métodos formales
Lógica deóntica
Theory of computation
Fault tolerance
Formal methods
Deontic logic
Model checking
Acceso en línea:http://hdl.handle.net/11086/548512
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares