| Home | << 1 >> |
|
| Author | 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 |