共 50 条
- [41] Towards the Automated Verification of Weibull Distributions for System Failure Rates CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 81 - 96
- [48] RATES OF CONVERGENCE FOR THE POSTERIOR DISTRIBUTIONS OF MIXTURES OF BETAS AND ADAPTIVE NONPARAMETRIC ESTIMATION OF THE DENSITY ANNALS OF STATISTICS, 2010, 38 (01): : 146 - 180