Sign in
Formally Proved Anti-tearing Properties of Embedded C Code.
June Andronick
Published in:
ISoLA (2006)
Keyphrases
</>
machine learning
search engine
computer vision
low cost
source code
embedded systems
desirable properties
databases
website
video sequences
data model
security protection