Login / Signup

Analyzing Software Security Against Complex Fault Models with Frama-C Value Analysis.

Johan LaurentChristophe DeleuzeVincent BeroulleFlorian Pebay-Peyroula
Published in: FDTC (2019)
Keyphrases
  • databases
  • database
  • data analysis
  • knowledge representation