Attack trees in Isabelle (Q2218979)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Attack trees in Isabelle |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Attack trees in Isabelle |
scientific article |
Statements
Attack trees in Isabelle (English)
0 references
18 January 2021
0 references
0.7734919190406799
0 references
0.7679617404937744
0 references
0.7633190751075745
0 references
0.7486733794212341
0 references
0.7444250583648682
0 references
