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]

Authors

Selim Ciraci

This author has not been identified. Look up 'Selim Ciraci' in Google

Hasan Sözer

This author has not been identified. Look up 'Hasan Sözer' in Google

Bedir Tekinerdogan

This author has not been identified. Look up 'Bedir Tekinerdogan' in Google