TY  - JOUR
AU  - Pappagallo, A.
AU  - Massini, A.
AU  - Tronci, E.
PY  - 2020
DA  - 2020//
TI  - Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review
JO  - Information
VL  - 11
IS  - 558
L1  - http://mclab.di.uniroma1.it/publications/papers/pappagallo/2020/181_Pappagallo_etal2020.pdf
UR  - https://doi.org/10.3390/info11120588
DO  - 10.3390/info11120588
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=181), last updated on Mon, 21 Dec 2020 17:51:36 +0100
ID  - Pappagallo_etal2020
ER  -