Applying formal software engineering techniques to smart grids.

Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas, Denis Bytschkow

Browse the full ICSE paper archive.