Applying formal software engineering techniques to smart grids

Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas, Denis Bytschkow. Applying formal software engineering techniques to smart grids. In Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2012, Zurich, Switzerland, June 3, 2012. pages 50-56, IEEE, 2012. [doi]

Authors

Georg Hackenberg

This author has not been identified. Look up 'Georg Hackenberg' in Google

Maximilian Irlbeck

This author has not been identified. Look up 'Maximilian Irlbeck' in Google

Vasileios Koutsoumpas

This author has not been identified. Look up 'Vasileios Koutsoumpas' in Google

Denis Bytschkow

This author has not been identified. Look up 'Denis Bytschkow' in Google