TY  - RPRT
TI  - A Run-Time Verification Framework for Smart Grid Applications Implemented on Simulation Frameworks
AU  - Ciraci, Selim
AU  - Sozer, Hasan
AU  - Tekinerdogan, Bedir
PY  - 2013
DO  - 10.1109/se4sg.2013.6596105
UR  - https://www.osti.gov/biblio/1126351
ID  - 1126351
ER  -