OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas

Mostrar todas las versiones(2)

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2011.

Guardado en:
Detalles Bibliográficos
Autor principal: Bordenabe, Nicolas Emilio
Otros Autores: D'Argenio, Pedro R.
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2011
Materias:
Software / Program Verification
Model checking
Sistema tolerante a fallas
Verificación formal
Acceso en línea:http://hdl.handle.net/11086/57
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-57
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 Software / Program Verification
Model checking
Sistema tolerante a fallas
Verificación formal
spellingShingle Software / Program Verification
Model checking
Sistema tolerante a fallas
Verificación formal
Bordenabe, Nicolas Emilio
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
topic_facet Software / Program Verification
Model checking
Sistema tolerante a fallas
Verificación formal
description Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2011.
author2 D'Argenio, Pedro R.
author_facet D'Argenio, Pedro R.
Bordenabe, Nicolas Emilio
format bachelorThesis
author Bordenabe, Nicolas Emilio
author_sort Bordenabe, Nicolas Emilio
title OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
title_short OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
title_full OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
title_fullStr OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
title_full_unstemmed OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
title_sort offbeat : una extensión de prism para el análisis de sistemas temporizados tolerantes a fallas
publishDate 2011
url http://hdl.handle.net/11086/57
work_keys_str_mv AT bordenabenicolasemilio offbeatunaextensiondeprismparaelanalisisdesistemastemporizadostolerantesafallas
bdutipo_str Repositorios
_version_ 1764820397239304197

Ejemplares similares