Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Cerium alloys
Computer software
6
SAT-solving
6
Alloy
4
Alloy languages
4
Alloying
4
Alloys
4
Atomic transition
4
Autopilot systems
4
Code analysis
4
DynAlloy
4
Dynamic logic
4
Example based
4
Linguistics
4
Operational languages
4
Propositional formulas
4
Requirements specifications
4
SAT-based code analysis
4
Software engineering
4
Specifications
4
Static analysis
4
Tabular expressions
4
Tabular notation
4
Tabular specifications
4
Test harness
4
Tools
4
X ray photoelectron spectroscopy
4
XPS
4
Abstracting
2
Alloy analyzers
2
-
1Materias: “...Alloy...”
-
2por Rosner, N., Galeotti, J., Bermúdez, S., Blas, G.M., De Rosso, S.P., Pizzagalli, L., Zemín, L., Frias, M.F.Materias: “...Alloy...”
CONF -
3por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Alloy...”
Publicado 2013
-
4Materias: “...Alloy...”
JOUR -
5por Rosner, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Alloy analyzers...”
Publicado 2010
-
6Materias: “...Alloy analyzers...”
SER -
7Publicado 2014Materias: “...Gold-copper alloy...”
-
8Materias: “...Gold-copper alloy...”
JOUR -
9Publicado 2018Materias: “...Binary alloys...”
-
10Materias: “...Binary alloys...”
JOUR -
11
-
12Materias: “...Alloy languages...”
Artículo publishedVersion -
13Materias: “...Alloy languages...”
Artículo publishedVersion -
14Materias: “...Alloy languages...”
SER -
15