Application of a Formal Testing Methodology to Wireless Telephony Networks.

Ana R. Cavalli Amel Mederreg Fatiha Zaïdi

Published in: J. Braz. Comput. Soc. (2004)

Keyphrases

mobile devices
cellular networks
wireless networks
network analysis
application specific
formal model
heterogeneous networks
high bandwidth