Formal lifetime reliability analysis using continuous random variables

DOI10.1007/978-3-642-13824-9_8MaRDI QIDQ4931592zbMATH OpenOpenAlexFDO

Authors Naeem Abbasi, Osman Hasan, Sofiène Tahar

Publication date 29 September 2010

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13824-9_8

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25)

Recommendations

• An approach for lifetime reliability analysis using theorem proving
• Reliability analysis of random uncertain unrepairable systems
• Formalization of normal random variables in HOL
• Interval reliability of typical systems with partially known probabilities.
• scientific article; zbMATH DE number 1215269

Cited in

(3)

• Formalization of normal random variables in HOL
• Formal dependability modeling and analysis: a survey
• An approach for lifetime reliability analysis using theorem proving

This page was built for publication: Formal lifetime reliability analysis using continuous random variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931592)