Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Source codes
Abstracting
6
Computer software
6
Level of abstraction
4
Plug-ins
4
Program debugging
4
Software errors
4
Static analysis
4
TACO
4
bounded verification
4
Admissible sequences
2
Advanced signal processing
2
Air showers
2
Analysis software
2
Augers
2
Behaviour models
2
Behaviour validation
2
Bounded verifications
2
Buildings
2
Client code
2
Codes (symbols)
2
Communication
2
Computer architecture
2
Concise representations
2
Contract specifications
2
Contract strengthening
2
Cosmic ray detectors
2
Cosmic rays
2
Cosmology
2
Debuggers
2
-
1Publicado 2017Materias: “...Codes (symbols)...”
-
2por Presso, M., Scafati, D., Marone, J., Todorovich, E., Brengi D., Lipovetzky J., Lutenberg A., De Micco L., Garcia Inza M., Maximiliano A.Materias: “...Codes (symbols)...”
CONF -
3
-
4Materias: “...Source codes...”
-
5Materias: “...source code validation...”
-
6Materias: “...source code validation...”
CONF -
7Materias: “...Source codes...”
CONF -
8Materias: “...Source codes...”
SER -
9Publicado 2011Materias: “...Simulation code...”
-
10Materias: “...Simulation code...”
JOUR -
11Materias: “...Client code...”
-
12Materias: “...Client code...”
CONF -
13Publicado 2014Materias: “...Source codes...”
-
14Materias: “...Source codes...”
JOUR