A framework for formal dynamic dependability analysis using HOL theorem proving (Q2219384)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A framework for formal dynamic dependability analysis using HOL theorem proving |
scientific article |
Statements
A framework for formal dynamic dependability analysis using HOL theorem proving (English)
0 references
20 January 2021
0 references
dynamic dependability analysis
0 references
dynamic fault trees
0 references
dynamic reliability block diagrams
0 references
continuous-time Markov chains
0 references
HOL theorem proving
0 references
