Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy
1
Análisis automatizado
1
Automated analysis
1
Chord protocol
1
Dynamic properties
1
Formal methods
1
Lenguajes de especificación
Métodos formales
1
Propiedades dinámicas
1
Propiedades funcionales del software
1
SAT solving
1
Software functional properties
1
Software verification
1
Specification languages
1
Verificación de software
1
-
1por Cornejo, César Mauricio
Publicado 2024Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis