Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas

Mostrar todas las versiones(2)

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:
Detalles Bibliográficos
Autor principal: Kilmurray, Cecilia Noelia
Otros Autores: Castro, Pablo Francisco
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2021
Materias:
Métodos formales
Tolerancia a fallas
Lógicas deónticas
Verificación de software
Theory of computation
Verification by model checking
Acceso en línea:http://hdl.handle.net/11086/17407
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
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

Ejemplares similares