Pages that link to "Item:Q3608759"
From MaRDI portal
The following pages link to Formalization of Continuous Probability Distributions (Q3608759):
Displaying 12 items.
- An approach for lifetime reliability analysis using theorem proving (Q386029) (← links)
- Reasoning about conditional probabilities in a higher-order-logic theorem prover (Q545151) (← links)
- Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation (Q782499) (← links)
- Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510) (← links)
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- Using theorem proving to verify expectation and variance for discrete random variables (Q1040780) (← links)
- Performance analysis and functional verification of the stop-and-wait protocol in HOL (Q1040781) (← links)
- On the formalization of gamma function in HOL (Q2352499) (← links)
- Formalization of Normal Random Variables in HOL (Q2817293) (← links)
- Towards Formal Fault Tree Analysis Using Theorem Proving (Q3453105) (← links)
- Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays (Q3605473) (← links)
- Towards the Formal Reliability Analysis of Oil and Gas Pipelines (Q5495912) (← links)
