Discovering emergency call pitfalls for cellular networks with formal methods

Open Webpage

Kaiyu Hou, You Li, Yinbo Yu, Yan Chen, Hai Zhou

Published: 01 Jan 2021, Last Modified: 29 Jul 2025MobiSys 2021EveryoneRevisionsBibTeXCC BY-SA 4.0