End to End Verification and Validation with SPIN

Asankhaya Sharma

Published in: CoRR (2013)

Keyphrases

end to end
wireless ad hoc networks
high bandwidth
admission control
congestion control
ad hoc networks
content delivery
application layer
internet protocol
multipath
service delivery
transport layer