Design and model checking of timed automata oriented architecture for Internet of thing

Guang Chen, Tonghai Jiang, Meng Wang, Xinyu Tang, Wenfei Ji. Design and model checking of timed automata oriented architecture for Internet of thing. IJDSN, 16(5), 2020. [doi]

Abstract

Abstract is missing.