VERIFIKASI DUA VARIAN PROTOKOL AD HOC ON DEMAND DISTANCE VECTOR DENGAN UPPAAL
Manet is a group of wireless mobile that connected one to each other dynamically without fixed infrastructure so topology could change at anytime. MANET routing protocol has two models which are reactive routing protocol that built routing table only when needed and proactive routing protocol that m...
| Main Authors: | , |
|---|---|
| Format: | Thesis |
| Published: |
[Yogyakarta] : Universitas Gadjah Mada
2014
|
| Subjects: |