Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy analyzers
6
Alloys
6
Propositional formulas
Alloy
4
Alloying
4
Data domains
4
Parallel analysis
4
Abstracting
2
Alloy calculus
2
Alloy languages
2
Analysis costs
2
Automatic analysis
2
Calculations
2
Cerium alloys
2
Contour followers
2
Critical applications
2
Experimental evaluation
2
First order logic
2
Formal logic
2
Model analysis
2
PVS
2
Relational modeling
2
SAT
2
SAT solvers
2
SAT-solving
2
Semi-automatics
2
Software engineering
2
Static analysis
2
Theorem proving
2
Tools
2
Buscar alternativas:
analyzer » analyzed (Expander búsqueda), analyze (Expander búsqueda), analyzes (Expander búsqueda)
analyzer » analyzed (Expander búsqueda), analyze (Expander búsqueda), analyzes (Expander búsqueda)
-
1por Rosner, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Alloy analyzers...”
Publicado 2010
-
2Materias: “...Alloy analyzers...”
SER -
3Materias: “...Alloy analyzers...”
-
4por Rosner, N., Siddiqui, J.H., Aguirre, N., Khurshid, S., Frias, M.F., IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASAMaterias: “...Alloy analyzers...”
CONF -
5Materias: “...Alloy analyzers...”
-
6Materias: “...Alloy analyzers...”
JOUR