Applying formal software engineering techniques to smart grids

Georg Hackenberg , Maximilian Irlbeck , Vasileios Koutsoumpas und Denis Bytschkow

Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, pp. 50–56

2012