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
3
PRISM
2
Cadena de Markov de tiempo discreto
1
Contraejemplos
1
Estados esenciales
1
Explosión del espacio de estados
1
Formal Methods
1
Lógica LTL
1
MTBDD
1
Model Checking Probabilista
1
Model checking probabilista
1
Model checking simbólico
1
Métodos formales
1
Proceso de Decisión de Markov
1
Program Verification
1
Reducción de orden parcial
1
Sistema tolerante a fallas
1
Sistemas distribuidos
1
Sistemas probabilistas
1
Software
1
Software / Program Verification
1
Software Engineering
1
Software Program verification
1
Software Verification
1
Software engineering
1
Software. Program Verification
1
Testing and Debugging
1
Verificación formal
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 Bordenabe, Nicolas Emilio
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Ferrer Fioriti, Luis María.
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Miretti, Gabriel Leonardo.
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis