Lei Yu, Yubo Yan, Yang Lu, Benhong Zhang, Ya Li, Fangliang Huang, Yulian Shen. Modeling and Verification of Hospital Intelligent Diagnosis and Treatment Service Based on Timed Automata in Internet of Things. In 6th International Conference on Big Data Computing and Communications, BIGCOM 2020, Deqing, China, July 24-25, 2020. pages 168-179, IEEE, 2020. [doi]
Abstract is missing.