Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems.

Hai-Dang Vu, Sbastien Le Nours, Sbastien Pillement

Browse the full DSD paper archive.