C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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