Pages that link to "Item:Q5495912"
From MaRDI portal
The following pages link to Towards the Formal Reliability Analysis of Oil and Gas Pipelines (Q5495912):
Displaying 8 items.
- Formalization of reliability block diagrams in higher-order logic (Q334147) (← links)
- Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation (Q782499) (← links)
- Formalization of Normal Random Variables in HOL (Q2817293) (← links)
- Formal Dependability Modeling and Analysis: A Survey (Q2817299) (← links)
- (Q3175747) (← links)
- Towards Formal Fault Tree Analysis Using Theorem Proving (Q3453105) (← links)
- Failure Probability Estimation of Long Pipeline (Q4928874) (← links)
- Calculation of the probability of trouble-free operation of a main oil pipeline by an analytical-statistical method (a sequential model) (Q5951290) (← links)