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

• Authors: DORFHUBER Florian Sebastian; EISENTRAUT Julia; KLIOBA Katharina; KŘETÍNSKÝ Jan
• Year of publication: 2024
• Type: Article in Proceedings
• MU Faculty or unit: Faculty of Informatics
• Web: https://www.qest-formats.org/papers.html
• Doi: http://dx.doi.org/15605