![]() | Up a level |
García Merayo, Mercedes and Hwang, Iksoon and Nuñez García, Manuel and Cavalli, Ana (2009) A Statistical Approach to Test Stochastic and Probabilistic Systems. Formal methods and software engineering proceedings, 5885 . pp. 186-205. ISSN 0302-9743