Nasos Grigoropoulos, Spyros Lalis, Manos Koutsoubelias. An Event-Based Framework for the Specification and Runtime Checking of Timing Constraints in Wireless Sensor and Actuator Networks. In IEEE International Conference on Data Science and Data Intensive Systems, DSDIS 2015, Sydney, Australia, December 11-13, 2015. pages 123-130, IEEE, 2015. [doi]
@inproceedings{GrigoropoulosLK15,
title = {An Event-Based Framework for the Specification and Runtime Checking of Timing Constraints in Wireless Sensor and Actuator Networks},
author = {Nasos Grigoropoulos and Spyros Lalis and Manos Koutsoubelias},
year = {2015},
doi = {10.1109/DSDIS.2015.32},
url = {http://dx.doi.org/10.1109/DSDIS.2015.32},
researchr = {https://researchr.org/publication/GrigoropoulosLK15},
cites = {0},
citedby = {0},
pages = {123-130},
booktitle = {IEEE International Conference on Data Science and Data Intensive Systems, DSDIS 2015, Sydney, Australia, December 11-13, 2015},
publisher = {IEEE},
isbn = {978-1-5090-0214-6},
}