| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
| Author | Pappagallo, A.; Massini, A.; Tronci, E. | ||||
| Title | Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review | Type | Journal Article | ||
| Year | 2020 | Publication | Information | Abbreviated Journal | |
| Volume | 11 | Issue | 558 | Pages | |
| Keywords | |||||
| Abstract | |||||
Address  |
|||||
| Corporate Author | Thesis | ||||
| Publisher | Place of Publication | Editor | |||
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Abbreviated Series Title | |||
| Series Volume | Series Issue | Edition | |||
| ISSN | ISBN | Medium | |||
| Area | Expedition | Conference | |||
| Notes | Approved | no | |||
| Call Number | MCLab @ davi @ | Serial | 181 | ||
| Permanent link to this record | |||||