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.
Software
Program verification
3
Decibilidad
2
Especificación
2
Estados esenciales
2
Explosión del espacio de estados
2
Fuego
2
MTBDD
2
Meteogramas
2
Model checking
2
Monitoreo
2
Métodos formales
2
PRISM
2
Programa recursivo
2
Sistema de información geográfica
2
Verificación de programas
2
Verificación de sistemas
2
Índice de Incendio
2
Administración pública
1
Adquisición de parámetros
1
Auditoría
1
Automatización
1
Comunicación con el Hardware
1
Córdoba, Argentina
1
Hardware
1
Liderazgo
1
MOSFET
1
Model checking probabilista
1
Motivación
1
PSoC
1
-
1por Soldevila Raffa, Mallku Ernesto
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2
-
3por Clemoveki, Kevin Ayrton
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Zandarin, Nicolás H.
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Romero, Santiago Gabriel.
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Clemoveki, Kevin Ayrton
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Romero, Santiago Gabriel
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Zandarin, Nicolás Hugo
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9por Soldevila Raffa, Mallku Ernesto
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
10por Oría, Virginia Analía
Publicado 2017Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
11por Acosta Bazán, Alejandra Celestina
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis