Pages that link to "Item:Q2945593"
From MaRDI portal
The following pages link to Quantitative Attack Tree Analysis via Priced Timed Automata (Q2945593):
Displaying 5 items.
- Attack trees vs. fault trees: two sides of the same coin from different currencies (Q832098) (← links)
- Is my attack tree correct? (Q2167713) (← links)
- New Efficient Utility Upper Bounds for the Fully Adaptive Model of Attack Trees (Q3190044) (← links)
- Model Checking Exact Cost for Attack Scenarios (Q3304816) (← links)
- Parametric Analyses of Attack-fault Trees* (Q5025035) (← links)