SCSTL: Spatial Composite Signal Temporal Logic for IoT Service Monitoring.

Ruixi Pan, Zhangbing Zhou, Deng Zhao, Sami Yangui, Jiangwei Li

Browse the full ICSOC paper archive.