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

• Main Authors: Gui, L., Sun, J., Liu, Y., Si, Y.J., Dong, J.S., Wang, X.Y.
• Other Authors: COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: 2014
• Subjects: hypothesis testing; MDP; reliability distribution; reliability prediction
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/78062
• Institution: National University of Singapore

10.1145/2483760.2483779