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.
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | doctoralThesis |
| Lenguaje: | Español |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/17407 |
| Aporte de: |
| Sumario: | 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. |
|---|