Verification and modeling of IoT time automata for gateway security system

P. Kamakshi, Y. Bhavani, A. Bhaskar, B. Kiran Kumar, T. Mahesh Kumar. Verification and modeling of IoT time automata for gateway security system. Soft Comput., 26(10):4915-4928, 2022. [doi]

Abstract

Abstract is missing.