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