A Formal Specification Framework for Smart Grid Components.

Waseem Akram Muaz A. Niazi

Published in: CoRR (2017)

Keyphrases

formal specification
smart grid

database systems
lightweight

communication systems

formal methods