Parallel Statistical Model Checking for Safety Verification in Smart Grids
- Toni Mancini
- , Federico Mari
- , Igor Melatti
- , Ivano Salvo
- , Enrico Tronci
- , Jorn Klaas Gruber
- , Barry Hayes
- , Milan Prodanovic
- , Lars Elmegaard
- University of Rome La Sapienza
- Instituto IMDEA Energía
- SEAS-NVE
Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review