Discovering emergency call pitfalls for cellular networks with formal methods.

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

Browse the full Mobisys paper archive.