Parallel Statistical Model Checking for Safety Verification in Smart Grids (English)
Free access
- New search for: Mancini, T.
- New search for: Mari, F.
- New search for: Melatti, I.
- New search for: Salvo, I.
- New search for: Tronci, E.
- New search for: Gruber, J. K.
- New search for: Hayes, B.
- New search for: Prodanovic, M.
- New search for: Elmegaard, L.
- New search for: Mancini, T.
- New search for: Mari, F.
- New search for: Melatti, I.
- New search for: Salvo, I.
- New search for: Tronci, E.
- New search for: Gruber, J. K.
- New search for: Hayes, B.
- New search for: Prodanovic, M.
- New search for: Elmegaard, L.
2021
- Preprint / Electronic Resource
-
Title:Parallel Statistical Model Checking for Safety Verification in Smart Grids
-
Contributors:Mancini, T. ( author ) / Mari, F. ( author ) / Melatti, I. ( author ) / Salvo, I. ( author ) / Tronci, E. ( author ) / Gruber, J. K. ( author ) / Hayes, B. ( author ) / Prodanovic, M. ( author ) / Elmegaard, L. ( author )
-
Publisher:
- New search for: arXiv
-
Publication date:2021
-
Remarks:6 pages, 1 figure. In SmartGridComm 2018. IEEE, 2018
-
DOI:
-
Type of media:Preprint
-
Type of material:Electronic Resource
-
Language:English
- New search for: 68Q60
- Further information on Mathematics Subject Classification
-
Classification:
MSC: 68Q60 -
Licence:
-
Source: