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