Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
11
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software
Program verification
4
Adquisición de parámetros
2
Automatización
2
Comunicación con el Hardware
2
Decibilidad
2
Especificación
2
Estados esenciales
2
Explosión del espacio de estados
2
Fuego
2
Hardware
2
MOSFET
2
MTBDD
2
Meteogramas
2
Model checking
2
Monitoreo
2
Métodos formales
2
PRISM
2
PSoC
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
Auditoría
1
Córdoba, Argentina
1
Ingeniería de software
1
Liderazgo
1
Model checking probabilista
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 -
12por Acosta Bazán, Alejandra Celestina
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
13por Monti, Raúl Enrique
Publicado 2022Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis