Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy analyzers
Alloys
4
Calculations
4
Alloy
2
Alloy Analyzer
2
Alloy calculus
2
Alloying
2
Analysis and verifications
2
Automated analysis
2
Automatic analysis
2
Complex networks
2
Computer aided software engineering
2
Critical applications
2
Data domains
2
Formal logic
2
Interoperability
2
Interoperating networks
2
PVS
2
Proof calculus
2
Propositional formulas
2
Semi-automatics
2
Semiautomatic theorem
2
Software prototyping
2
Specifications
2
Theorem provers
2
Theorem proving
2
Tools
2
Unsat-cores
2
Verification
2
-
1Materias: “...Alloy calculus...”
-
2Materias: “...Alloy calculus...”
JOUR -
3Materias: “...Proof calculus...”
-
4Materias: “...Proof calculus...”
SER