%0 Journal Article
%T Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review
%A Pappagallo, A.
%A Massini, A.
%A Tronci, E.
%J Information
%D 2020
%V 11
%N 558
%F Pappagallo_etal2020
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=181), last updated on Mon, 21 Dec 2020 17:51:36 +0100
%R 10.3390/info11120588
%U http://mclab.di.uniroma1.it/publications/papers/pappagallo/2020/181_Pappagallo_etal2020.pdf
%U https://doi.org/10.3390/info11120588