| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.; Hayes, B.; Prodanovic, M.; Elmegaard, L. | Parallel Statistical Model Checking for Safety Verification in Smart Grids | 2018 | 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) | 10.1109/SmartGridComm.2018.8587416 | 1-6 |