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.

Guardado en:
Detalles Bibliográficos
Autor principal: Zandarin, Nicolás H.
Otros Autores: D'Argenio, Pedro R.
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2011
Materias:
Software
Program Verification
Model checking
Métodos formales
Model checking probabilista
Explosión del espacio de estados
MTBDD
PRISM
Estados esenciales
Acceso en línea:http://hdl.handle.net/11086/40
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-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
Model checking probabilista
Explosión del espacio de estados
MTBDD
PRISM
Estados esenciales
spellingShingle Software
Program Verification
Model checking
Métodos formales
Model checking probabilista
Explosión del espacio de estados
MTBDD
PRISM
Estados esenciales
Zandarin, Nicolás H.
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
topic_facet Software
Program Verification
Model checking
Métodos formales
Model checking probabilista
Explosión del espacio de estados
MTBDD
PRISM
Estados esenciales
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 R.
author_facet D'Argenio, Pedro R.
Zandarin, Nicolás H.
format bachelorThesis
author Zandarin, Nicolás H.
author_sort Zandarin, Nicolás H.
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 zandarinnicolash abstraccionaestadosesencialesenelmodelcheckerprobabilistaprism
bdutipo_str Repositorios
_version_ 1764820396301877250

Ejemplares similares