Login / Signup
Analyzing Software Security Against Complex Fault Models with Frama-C Value Analysis.
Johan Laurent
Christophe Deleuze
Vincent Beroulle
Florian Pebay-Peyroula
Published in:
FDTC (2019)
Keyphrases
</>
databases
database
data analysis
knowledge representation