@inproceedings{vu:hal-03263210,
TITLE = {Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems},
AUTHOR = {Vu, Hai-Dang and Le Nours, S{\'e}bastien and Pillement, S{\'e}bastien},
URL = {https://hal.science/hal-03263210},
BOOK
TITLE = {Euromicro DSD 2021},
ADDRESS = {Palerme, Italy},
PAGES = {paper 37},
YEAR = {2021},
MONTH = Sep, KEYWORDS = {Simulation-based performance estimation ; Multi Processor ; Probabilistic timing analysis},
HAL_ID = {hal-03263210},
HAL_VERSION = {v1},
}