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

• Název česky: QuADTool: Syntéza útočného a obranného stromu, analýza a most k verifikaci
• Autoři: DORFHUBER Florian Sebastian; EISENTRAUT Julia; KLIOBA Katharina; KŘETÍNSKÝ Jan
• Rok publikování: 2024
• Druh: Článek ve sborníku
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: https://www.qest-formats.org/papers.html
• Doi: http://dx.doi.org/15605