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:
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | bachelorThesis |
Lenguaje: | Español |
Publicado: |
2011
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/40 |
Aporte de: |
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 |