ReliaSoft software from HBM Prenscia empowers reliability, quality and maintainability engineers to transform data into decisions. These innovative tools offer solutions for a wide range of reliability and related modelling and analysis techniques, such as life data analysis, accelerated life testing, reliability block diagrams and FMEAs. Broadly applied across a range of industries, ReliaSoft offers the tools you need to ensure the safety, reliability and maintainability of your products and designs.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Ahmad, Waqar; Hasan, Osman: Formalization of fault trees in higher-order logic: a deep embedding approach (2016)
- Ahmed, Waqar; Hasan, Osman: Towards formal fault tree analysis using theorem proving (2015)