Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Codes (symbols)
3
Symbolic execution
2
Behavioral research
1
Classification
1
Classification (of information)
1
Coded band
1
Computational linguistics
1
Computer software
1
Concolic execution
1
Database queries
1
Dynamic memory
1
Embedded systems
1
End users
1
Entropy
1
Formal methods
1
GALILEO
1
Image compression
1
Intel Galileo
1
IoT
1
Landsat images
1
Lock system
1
Lock-on
1
Locks (fasteners)
1
Lossless
1
Mathematical models
1
Memory consumption
1
Memory manager
1
Model checking
1
Model-based testing
1
Multispectral
1
-
1por Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.Materias: “...Symbolic Execution...”
CONF -
2Materias: “...Symbolic execution...”
CONF -
3
-
4Materias: “...Codes (symbols)...”
CONF -
5por 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