Characterization of Simulation by Probabilistic Testing
暂无分享,去创建一个
[1] Axel Legay,et al. Statistical Model Checking: An Overview , 2010, RV.
[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[3] Håkan L. S. Younes,et al. Statistical probabilistic model checking with a focus on time-bounded properties , 2006, Inf. Comput..
[4] Samson Abramsky,et al. Observation Equivalence as a Testing Equivalence , 1987, Theor. Comput. Sci..
[5] Wang Yi,et al. Testing preorders for probabilistic processes can be characterized by simulations , 2002, Theor. Comput. Sci..
[6] Wang Yi,et al. Testing Probabilistic and Nondeterministic Processes , 1992, PSTV.