Hai-Dang Vu, Sebastien Le Nours, Sébastien Pillement. Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems. In Francesco Leporati, Salvatore Vitabile, Amund Skavhaug, editors, 24th Euromicro Conference on Digital System Design, DSD 2021, Palermo, Spain, September 1-3, 2021. pages 150-157, IEEE, 2021. [doi]
Abstract is missing.