List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages (down)
Pappagallo, A.; Massini, A.; Tronci, E. Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review 2020 Information 10.3390/info11120588 11