Modeling and efficient verification of wireless ad hoc networks.

Behnaz Yousefi Fatemeh Ghassemi Ramtin Khosravi

Published in: Formal Aspects Comput. (2017)

Keyphrases

wireless ad hoc networks
end to end
wireless networks
multipath
image quality
wireless channels