Towards Formal Fault Tree Analysis Using Theorem Proving (Q3453105)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6512409
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Towards Formal Fault Tree Analysis Using Theorem Proving |
scientific article; zbMATH DE number 6512409 |
Statements
Towards Formal Fault Tree Analysis Using Theorem Proving (English)
0 references
20 November 2015
0 references
higher-order logic
0 references
probabilistic analysis
0 references
theorem proving
0 references
satellite's solar arrays
0 references
0 references
0.9100723
0 references
0.90719855
0 references
0.89917886
0 references
0.88609743
0 references
0.8802203
0 references
0.8703462
0 references
0.86919224
0 references
0.85903203
0 references
