Incremental power grid verification.

Abhishek Farid N. Najm

Published in: DAC (2012)

Keyphrases

power grid
power system
smart grid
communication networks
power plant
real time
sensor networks
electric vehicles