Login / Signup
On Proving Recoverability of Smart Electrical Grids.
Seppo Horsmanheimo
Maryam Kamali
Mikko Kolehmainen
Mats Neovius
Luigia Petre
Mauno Rönkkö
Petter Sandvik
Published in:
NASA Formal Methods (2014)
Keyphrases
</>
power grid
smart grid
grid computing
transmission line
computer engineering
neural network
grid points
social networks
distribution networks
real time
databases
electrical properties
smart objects
irregular isothetic grids