Modeling and reasoning of IoT architecture in semantic ontology dimension. - Guang Chen 002; Tonghai Jiang; Meng Wang; Xinyu Tang; Wenfei Ji (Comput. Commun., 2020)

Design and model checking of timed automata oriented architecture for Internet of thing. - Guang Chen 002; Tonghai Jiang; Meng Wang; Xinyu Tang; Wenfei Ji (Int. J. Distributed Sens. Networks, 2020)