Research output per year
Research output per year
Search results
-
2024
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
Dorfhuber, F., Eisentraut, J., Klioba, K. & Křetínský, J., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems . 20 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific › peer-review