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

https://doi.org/10.1109/se4sg.2013.6596105
Conference Proceedings
2013 2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG), 2013
Authors
Selim Ciraci, Hasan Sözer, Bedir Tekinerdogan
English