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.
Program verification
Software
Decibilidad
2
Especificación
2
Monitoreo
2
Programa recursivo
2
Verificación de programas
2
Verificación de sistemas
2
Estados esenciales
1
Explosión del espacio de estados
1
Ingeniería de software
1
MTBDD
1
Model checking
1
Métodos formales
1
Operating systems
1
PRISM
1
Reliability
1
Sistemas operativos
1
Tolerancia a fallas
1
Verificación formal
1
-
1por Romero, Santiago Gabriel.
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Romero, Santiago Gabriel
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Zandarin, Nicolás Hugo
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Monti, Raúl Enrique
Publicado 2022Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis