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: |
id |
I10-R14111086-17407 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de Córdoba |
institution_str |
I-10 |
repository_str |
R-141 |
collection |
Repositorio Digital Universitario (UNC) |
language |
Español |
topic |
Métodos formales Tolerancia a fallas Lógicas deónticas Verificación de software Theory of computation Verification by model checking |
spellingShingle |
Métodos formales Tolerancia a fallas Lógicas deónticas Verificación de software Theory of computation Verification by model checking Kilmurray, Cecilia Noelia Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas |
topic_facet |
Métodos formales Tolerancia a fallas Lógicas deónticas Verificación de software Theory of computation Verification by model checking |
description |
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. |
author2 |
Castro, Pablo Francisco |
author_facet |
Castro, Pablo Francisco Kilmurray, Cecilia Noelia |
format |
doctoralThesis |
author |
Kilmurray, Cecilia Noelia |
author_sort |
Kilmurray, Cecilia Noelia |
title |
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas |
title_short |
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas |
title_full |
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas |
title_fullStr |
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas |
title_full_unstemmed |
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas |
title_sort |
extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas |
publishDate |
2021 |
url |
http://hdl.handle.net/11086/17407 |
work_keys_str_mv |
AT kilmurraycecilianoelia extensiondelogicastemporalesconnocionesdeonticasparalaespecificacionyanalisisdesistemastolerantesafallas |
bdutipo_str |
Repositorios |
_version_ |
1764820394456383489 |