Login / Signup

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification.

Florian DorfhuberJulia EisentrautKatharina KliobaJan Kretínský
Published in: CoRR (2024)
Keyphrases
  • data sets
  • data analysis
  • statistical analysis
  • database
  • real time
  • neural network
  • genetic algorithm
  • information systems
  • website
  • image analysis
  • model checking
  • texture synthesis
  • forensic analysis