Parametric Analyses of Attack-fault Trees* (Q5025035)
From MaRDI portal
scientific article; zbMATH DE number 7467825
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parametric Analyses of Attack-fault Trees* |
scientific article; zbMATH DE number 7467825 |
Statements
Parametric Analyses of Attack-fault Trees* (English)
0 references
1 February 2022
0 references
security
0 references
attack-fault trees
0 references
parametric timed automata
0 references
IMITATOR
0 references
0 references
