Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
PRISM
Cadena de Markov de tiempo discreto
2
Contraejemplos
2
Estados esenciales
2
Explosión del espacio de estados
2
Lógica LTL
2
MTBDD
2
Model checking
2
Model checking probabilista
2
Métodos formales
2
Software
2
Model Checking Probabilista
1
Proceso de Decisión de Markov
1
Proceso de decisión de Markov
1
Program Verification
1
Program verification
1
Software Program Verification
1
Software. Program Verification
1
-
1por Zandarin, Nicolás H.
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Marenchino, Matías L.
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Zandarin, Nicolás Hugo
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Marenchino, Matías Leandro
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis