Modeling and Verification of Hospital Intelligent Diagnosis and Treatment Service Based on Timed Automata in Internet of Things. - Lei Yu 015; Yubo Yan; Yang Lu 015; Benhong Zhang; Ya Li; Fangliang Huang; Yulian Shen (BigCom, 2020)

Hierarchical Formal Modeling of Internet of Things System Oriented to User Behavior. - Lei Yu 015; Yang Lu 015; Benhong Zhang; Lei Shi 011; Fangliang Huang; Ya Li; Yulian Shen (SmartIoT, 2020)