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.
Verificación formal
Model checking
2
Sistema tolerante a fallas
2
Big data
1
Ciencias Informáticas
1
Ingeniería de software
1
Operating systems
1
Program verification
1
Reliability
1
Sistemas operativos
1
Software
1
Software / Program Verification
1
Software. Program Verification
1
Síntesis de comportamiento
1
Tolerancia a fallas
1
-
1por Asteasuain, Fernando, Aragón, Rafael, Rodriguez Caldeira, Luciana, Granata, Nicolás, Patera, Nahuel, Gamboa, Pablo, Feng, Hang Shao
Publicado 2022Aportado por: SEDICI (UNLP)Objeto de conferencia -
2por Bordenabe, Nicolas Emilio
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Bordenabe, Nicolas Emilio
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Monti, Raúl Enrique
Publicado 2022Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis