Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
10
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Verificación formal
4
ANALISIS AUTOMATICO DE PROGRAMAS
3
COBERTURA
3
COVERAGE
3
Ciencias Informáticas
3
Coq
3
FORMAL VERIFICATION
3
MODEL CHECKING
3
PROGRAM ANALYSIS
3
VERIFICACION FORMAL
3
verificación formal
3
Asistente de Prueba
2
Formal Verification
2
Logic
2
Logic and verification
2
Lógicas Dinámicas
2
Lógicas Modales
2
Modal and temporal logics (High Relevance)
2
Model checking
2
Modelado y simulación
2
Sistema tolerante a fallas
2
Software
2
Theory of computation
2
Verificación Formal
2
Verificación formal de sistemas
2
Android
1
Big data
1
Computing Methodologies
1
Computing methodologies
1
Formal models
1
-
1por Romano, Agustín VicenteMaterias: “...verificación formal...”
Publicado 2014
bachelorThesis tesis de grado publishedVersion -
2por Asteasuain, Fernando, Aragón, Rafael, Rodriguez Caldeira, Luciana, Granata, Nicolás, Patera, Nahuel, Gamboa, Pablo, Feng, Hang ShaoMaterias: “...Verificación formal...”
Publicado 2022
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Budde, Carlos EstebanMaterias: “...Verificación formal de sistemas...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4por Budde, Carlos EstebanMaterias: “...Verificación formal de sistemas...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
5por Bordenabe, Nicolas EmilioMaterias: “...Verificación formal...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Bordenabe, Nicolas EmilioMaterias: “...Verificación formal...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Vanzetto, Hernán P.Materias: “...verificación formal...”
Publicado 2014
bachelorThesis trabajo final de grado publishedVersion -
8por Díaz, Javier RobertoMaterias: “...verificación formal...”
Publicado 2001
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
9por Castaño, RodrigoMaterias: “...VERIFICACION FORMAL...”
Publicado 2018
Tesis doctoral publishedVersion -
10por Monti, Raúl EnriqueMaterias: “...Verificación formal...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
11por Castaño, RodrigoMaterias: “...VERIFICACION FORMAL...”
Publicado 2018
Tesis doctoral publishedVersion -
12
-
13Materias: “...Modelización y verificación formal...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
14por Trucco, Francisco CarlosMaterias: “...Verificación Formal...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
15por Trucco, Francisco CarlosMaterias: “...Verificación Formal...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion