Combining model checking and testing with an application to reliability prediction and distribution

• المؤلفون الرئيسيون: Gui, L., Sun, J., Liu, Y., Si, Y.J., Dong, J.S., Wang, X.Y.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: 2014
• الموضوعات: hypothesis testing; MDP; reliability distribution; reliability prediction
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/78062

10.1145/2483760.2483779