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]

Abstract

Abstract is missing.

runs on