To Verify the Correctness of IoT Sensor Data in Real-Time. - Anh Lan Nguyen; Eiji Kamioka; Toan Nguyen-Duc (APCC, 2019)