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
-
1Materias: “...source code validation...”
-
2Materias: “...source code validation...”
CONF -
3Materias: “...Client code...”
-
4Materias: “...Client code...”
CONF -
5Publicado 2017Materias: “...Codes (symbols)...”
-
6por 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 -
7Publicado 2011Materias: “...Simulation code...”
-
8Materias: “...Simulation code...”
JOUR -
9
-
10Materias: “...Source codes...”
-
11Materias: “...Source codes...”
CONF -
12Materias: “...Source codes...”
SER -
13Publicado 2014Materias: “...Source codes...”
-
14Materias: “...Source codes...”
JOUR