Towards the Automated Verification of Weibull Distributions for System Failure Rates.

Yu Lu, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson

Browse the full FMICS paper archive.