Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy analyzers
7
Alloys
7
Parallel analysis
3
Propositional formulas
3
SAT-solving
3
Verification
3
Abstracting
2
Alloy
2
Alloy Analyzer
2
Alloying
2
Calculations
2
Contour followers
2
Data domains
2
Theorem provers
2
Theorem proving
2
Alloy calculus
1
Alloy languages
1
Analysis and verifications
1
Analysis costs
1
Analysis problems
1
Automated analysis
1
Automatic analysis
1
Boolean satisfiability problems
1
Bounded verification
1
Bounded verifications
1
Cerium alloys
1
Complex networks
1
Computer aided software engineering
1
Critical applications
1
Decision making
1
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, N., Pombo, C.G.L., Aguirre, N., Jaoua, A., Mili, A., Frias, M.F., Rybalchenko A., Rybalchenko A., Cohen E.Materias: “...Alloy Analyzer...”
SER -
2Materias: “...Alloy Analyzer...”
SER -
3Materias: “...Alloy analyzers...”
SER -
4Materias: “...Alloy analyzers...”
SER -
5Materias: “...Alloy analyzers...”
SER -
6por 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 -
7Materias: “...Alloy analyzers...”
JOUR