Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Alloy analyzers
14
Alloys
14
Parallel analysis
6
Propositional formulas
6
SAT-solving
6
Verification
6
Abstracting
4
Alloy
4
Alloy Analyzer
4
Alloying
4
Calculations
4
Contour followers
4
Data domains
4
Theorem provers
4
Theorem proving
4
Alloy calculus
2
Alloy languages
2
Analysis and verifications
2
Analysis costs
2
Analysis problems
2
Automated analysis
2
Automatic analysis
2
Boolean satisfiability problems
2
Bounded verification
2
Bounded verifications
2
Cerium alloys
2
Complex networks
2
Computer aided software engineering
2
Critical applications
2
Decision making
2
Buscar alternativas:
alloy » allow (Expander búsqueda)
"Alloy analyzers" » "Alloy analyzes" (Expander búsqueda), "Alloy analyzed" (Expander búsqueda), "Alloy analyze" (Expander búsqueda)
alloy » allow (Expander búsqueda)
"Alloy analyzers" » "Alloy analyzes" (Expander búsqueda), "Alloy analyzed" (Expander búsqueda), "Alloy analyze" (Expander búsqueda)
-
1Publicado 2010Materias: “...Alloy analyzers...”
-
2Materias: “...Alloy analyzers...”
SER -
3por Rosner, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Alloy analyzers...”
Publicado 2010
-
4Materias: “...Alloy analyzers...”
SER -
5Materias: “...Alloy analyzers...”
-
6Materias: “...Alloy analyzers...”
SER -
7Materias: “...Alloy analyzers...”
-
8por 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 -
9Materias: “...Alloy analyzers...”
-
10Materias: “...Alloy analyzers...”
JOUR -
11Materias: “...Alloy Analyzer...”
-
12por 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 -
13Materias: “...Alloy Analyzer...”
-
14Materias: “...Alloy Analyzer...”
SER