Koray Inçki, Ismail Ari, Hasan Sözer. Runtime verification of IoT systems using Complex Event Processing. In 14th IEEE International Conference on Networking, Sensing and Control, ICNSC 2017, Calabria, Italy, May 16-18, 2017. pages 625-630, IEEE, 2017. [doi]
Abstract is missing.