Login / Signup
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions.
Jiangchao Liu
Liqian Chen
Xavier Rival
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
</>
database
image structure
image features
source code
dynamic environments
databases
image processing
high level
parameter space