Formal Lifetime Reliability Analysis Using Continuous Random Variables

DOI10.1007/978-3-642-13824-9_8zbMath1306.90040OpenAlexW1504754385MaRDI QIDQ4931592

Osman Hasan, Naeem Abbasi, 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)

Related Items (2)

An approach for lifetime reliability analysis using theorem proving ⋮ Formal Dependability Modeling and Analysis: A Survey

This page was built for publication: Formal Lifetime Reliability Analysis Using Continuous Random Variables