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.

Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking

Yixuan Zan, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang. Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking. In 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2020, Yanuca Island, Cuvu, Fiji, December 14-16, 2020. pages 930-937, IEEE, 2020. [doi]

Authors

Yixuan Zan

This author has not been identified. Look up 'Yixuan Zan' in Google

Xiaojuan Li

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

Yong Guan

This author has not been identified. Look up 'Yong Guan' in Google

Rui Wang

This author has not been identified. Look up 'Rui Wang' in Google

Jie Zhang

This author has not been identified. It may be one of the following persons: Look up 'Jie Zhang' in Google
runs on