Login / Signup

Greener Bits: Formal Analysis of Demand Response.

Christel BaierSascha KlüppelholzHermann de MeerFlorian NiedermeierSascha Wunderlich
Published in: ATVA (2016)
Keyphrases
  • formal analysis
  • agent model
  • formal methods
  • information systems
  • image quality
  • error correcting codes