|   | 
Author Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.; Hayes, B.; Prodanovic, M.; Elmegaard, L.
Title Parallel Statistical Model Checking for Safety Verification in Smart Grids Type Conference Article
Year 2018 Publication 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) Abbreviated Journal
Volume Issue Pages 1-6
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 (up)
Area Expedition Conference
Notes Approved no
Call Number MCLab @ davi @ mancini-etal:2018:smartgridcomm Serial 170
Permanent link to this record