Login / Signup
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification.
Florian Dorfhuber
Julia Eisentraut
Katharina Klioba
Jan 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