A formal specification framework for smart grid components.

Waseem Akram Muaz A. Niazi

Published in: Complex Adapt. Syst. Model. (2018)

Keyphrases

formal specification
smart grid
formal methods
power system
model checking
power grid
information systems
lightweight
communication networks
communication systems
cyber security