Login / Signup
Automated Analysis of AODV using UPPAAL.
Ansgar Fehnker
Rob J. van Glabbeek
Peter Höfner
Annabelle McIver
Marius Portmann
Wee Lum Tan
Published in:
CoRR (2015)
Keyphrases
</>
automated analysis
routing protocol
ad hoc networks
model checking
automated detection
wireless ad hoc networks
visual analysis
timed automata
biomedical imaging
controller synthesis
video analysis
end to end
mobile ad hoc networks
cell nuclei
wireless networks
wireless sensor networks
motion imagery
user interface