Runtime verification of IoT systems using Complex Event Processing

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]

Authors

Koray Inçki

This author has not been identified. Look up 'Koray Inçki' in Google

Ismail Ari

This author has not been identified. Look up 'Ismail Ari' in Google

Hasan Sözer

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