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