Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates

Josef Strnadel. Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019. pages 614-617, IEEE, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.