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.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Fil: Fil: Kilmurray, Cecilia Noelia. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. biblioteca |
| Language: | spa |
| Published: |
2020-06
|
| Subjects: | Métodos formales, Tolerancia a fallas, Lógicas deónticas, Verificación de software, Theory of computation, Verification by model checking, |
| Online Access: | http://hdl.handle.net/11086/17407 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|