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]
@inproceedings{YuLZSHLS20,
title = {Hierarchical Formal Modeling of Internet of Things System Oriented to User Behavior},
author = {Lei Yu and Yang Lu and Benhong Zhang and Lei Shi and Fangliang Huang and Ya Li and Yulian Shen},
year = {2020},
doi = {10.1109/SmartIoT49966.2020.00050},
url = {https://doi.org/10.1109/SmartIoT49966.2020.00050},
researchr = {https://researchr.org/publication/YuLZSHLS20},
cites = {0},
citedby = {0},
pages = {282-289},
booktitle = {2020 IEEE International Conference on Smart Internet of Things, SmartIoT 2020, Beijing, China, August 14-16, 2020},
publisher = {IEEE},
isbn = {978-1-7281-6514-1},
}