An Event-Based Framework for the Specification and Runtime Checking of Timing Constraints in Wireless Sensor and Actuator Networks

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.