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
3
Cadena de Markov de tiempo discreto
2
Contraejemplos
2
Lógica LTL
2
Model checking probabilista
2
Estados esenciales
1
Explosión del espacio de estados
1
MTBDD
1
Model Checking Probabilista
1
Model checking
1
Métodos formales
1
Proceso de Decisión de Markov
1
Proceso de decisión de Markov
1
Program Verification
1
Software
1
Software Program Verification
1
Software. Program Verification
1
-
1por Zandarin, Nicolás H.Materias: “...Model checking probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Marenchino, Matías L.Materias: “...Model Checking Probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Marenchino, Matías LeandroMaterias: “...Model checking probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis