Lei Yu, Yang Lu, Benhong Zhang, Lei Shi, Fangliang Huang, Ya Li, Yulian Shen. Hierarchical Formal Modeling of Internet of Things System Oriented to User Behavior. In 2020 IEEE International Conference on Smart Internet of Things, SmartIoT 2020, Beijing, China, August 14-16, 2020. pages 282-289, IEEE, 2020. [doi]
Abstract is missing.