Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automated analysis
Alloy Analyzer
2
Alloy analyzers
2
Alloys
2
Analysis and verifications
2
Calculations
2
Complex networks
2
Computer aided software engineering
2
Interoperability
2
Interoperating networks
2
Proof calculus
2
Semiautomatic theorem
2
Software prototyping
2
Specifications
2
Theorem provers
2
Verification
2
Alloy
1
Análisis automatizado
1
Chord protocol
1
Dynamic properties
1
Formal methods
1
Lenguajes de especificación
1
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
-
1
-
2
-
3por Cornejo, César Mauricio
Publicado 2024Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis