Formal synthesis of dependable configurations for advanced metering infrastructures.

Mohammad Ashiqur Rahman Ehab Al-Shaer

Published in: SmartGridComm (2015)

Keyphrases

data management
fault tolerant
formal model
program synthesis
formal analysis
information retrieval
computer vision
formal specification
formal methods