Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes 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, 2020.

Bibliographic Details
Main Author: Kilmurray, Cecilia Noelia
Other Authors: Castro, Pablo Francisco
Format: doctoralThesis
Language:spa
Published: 2021
Subjects:
Online Access:http://hdl.handle.net/11086/17407