External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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. 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]

Authors

Lei Yu

This author has not been identified. Look up 'Lei Yu' in Google

Yubo Yan

This author has not been identified. Look up 'Yubo Yan' in Google

Yang Lu

This author has not been identified. Look up 'Yang Lu' in Google

Benhong Zhang

This author has not been identified. Look up 'Benhong Zhang' in Google

Ya Li

This author has not been identified. Look up 'Ya Li' in Google

Fangliang Huang

This author has not been identified. Look up 'Fangliang Huang' in Google

Yulian Shen

This author has not been identified. Look up 'Yulian Shen' in Google
runs on