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]

Authors

Josef Strnadel

This author has not been identified. Look up 'Josef Strnadel' in Google