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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.