Dynamic dependability analysis of shuffle-exchange networks (Q6564180)
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: Dynamic dependability analysis of shuffle-exchange networks |
scientific article; zbMATH DE number 7873312
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic dependability analysis of shuffle-exchange networks |
scientific article; zbMATH DE number 7873312 |
Statements
Dynamic dependability analysis of shuffle-exchange networks (English)
0 references
28 June 2024
0 references
dynamic dependability analysis
0 references
shuffle-exchange networks
0 references
dynamic fault trees
0 references
dynamic reliability block diagrams
0 references
theorem proving
0 references
higher-order logic
0 references
HOL4
0 references
