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: | Zandarin, Nicolás H. |
|---|---|
| Otros Autores: | D'Argenio, Pedro R. |
| Formato: | bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2011
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/40 |
| Aporte de: |
Ejemplares similares
-
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
por: Zandarin, Nicolás Hugo
Publicado: (2011) -
Reducción de orden parcial en model checking probabilista simbólico
por: Ferrer Fioriti, Luis María.
Publicado: (2011) -
Reducción de orden parcial en model checking probabilista simbólico
por: Ferrer Fioriti, Luis María
Publicado: (2011) -
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
por: Marenchino, Matías L.
Publicado: (2011) -
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
por: Marenchino, Matías Leandro
Publicado: (2011)