A run-time verification framework for smart grid applications implemented on simulation frameworks

Selim Ciraci, Hasan Sözer, Bedir Tekinerdogan. A run-time verification framework for smart grid applications implemented on simulation frameworks. In 2nd International Workshop on Software Engineering Challenges for the Smart Grid, SE4SG 2013, San Francisco, CA, USA, May 18, 2013. pages 1-8, IEEE Computer Society, 2013. [doi]

Abstract

Abstract is missing.