PT Journal
AU Pappagallo, A
   Massini, A
   Tronci, E
TI Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review
SO Information
PY 2020
VL 11
IS 558
DI 10.3390/info11120588
ER