Yulian Shen

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Medical Doctors

Reachability Analysis

Clinically Relevant

User Activities

Top Venues

Publications

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. SmartIoT (2020)
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. BigCom (2020)