Yulian Shen

According to our database, Yulian Shen authored at least 2 papers in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Hierarchical Formal Modeling of Internet of Things System Oriented to User Behavior.

Lei Yu, Yang Lu, Benhong Zhang, Lei Shi, Fangliang Huang, Ya Li, Yulian Shen

Proceedings of the 2020 IEEE International Conference on Smart Internet of Things, 2020

Modeling and Verification of Hospital Intelligent Diagnosis and Treatment Service Based on Timed Automata in Internet of Things.

Lei Yu, Yubo Yan, Yang Lu, Benhong Zhang, Ya Li, Fangliang Huang, Yulian Shen

Proceedings of the 6th International Conference on Big Data Computing and Communications, 2020