Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM

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

Detalles Bibliográficos
Autor principal: Zandarin, Nicolás Hugo
Otros Autores: D'Argenio, Pedro Ruben
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2011
Materias:
Software
Program verification
Model checking
Métodos formales
Explosión del espacio de estados
Estados esenciales
MTBDD
PRISM
Acceso en línea:http://hdl.handle.net/11086/40
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-40
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
Métodos formales
Explosión del espacio de estados
Estados esenciales
MTBDD
PRISM
spellingShingle Software
Program verification
Model checking
Métodos formales
Explosión del espacio de estados
Estados esenciales
MTBDD
PRISM
Zandarin, Nicolás Hugo
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
topic_facet Software
Program verification
Model checking
Métodos formales
Explosión del espacio de estados
Estados esenciales
MTBDD
PRISM
description Tesis (Lic. en Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.
author2 D'Argenio, Pedro Ruben
author_facet D'Argenio, Pedro Ruben
Zandarin, Nicolás Hugo
format bachelorThesis
author Zandarin, Nicolás Hugo
author_sort Zandarin, Nicolás Hugo
title Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
title_short Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
title_full Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
title_fullStr Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
title_full_unstemmed Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
title_sort abstracción a estados esenciales en el model checker probabilista prism
publishDate 2011
url http://hdl.handle.net/11086/40
work_keys_str_mv AT zandarinnicolashugo abstraccionaestadosesencialesenelmodelcheckerprobabilistaprism
bdutipo_str Repositorios
_version_ 1764820393081700358

Ejemplares similares