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]
@inproceedings{InckiAS17,
title = {Runtime verification of IoT systems using Complex Event Processing},
author = {Koray Inçki and Ismail Ari and Hasan Sözer},
year = {2017},
doi = {10.1109/ICNSC.2017.8000163},
url = {https://doi.org/10.1109/ICNSC.2017.8000163},
researchr = {https://researchr.org/publication/InckiAS17},
cites = {0},
citedby = {0},
pages = {625-630},
booktitle = {14th IEEE International Conference on Networking, Sensing and Control, ICNSC 2017, Calabria, Italy, May 16-18, 2017},
publisher = {IEEE},
isbn = {978-1-5090-4429-0},
}