Kang Chul Kim, Chang-Gyoon Lim, Jae Hung Yoo, Seok Bung Han. Simulation Cost Reduction Strategies for Behavioral Model Verification in Bayesian Based Stopping Rule. In Edwin Hsing-Mean Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-hae Kim, Laurence Tianruo Yang, Bin Xiao, editors, Embedded and Ubiquitous Computing, International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings. Volume 4096 of Lecture Notes in Computer Science, pages 692-701, Springer, 2006. [doi]
Abstract is missing.