Verifikasi Dua Varian Protokol Ad hoc On demand Distance Vector dengan UPPAAL
Abstrak Mobile Ad-hoc Network (MANET) adalah sekumpulan wireless mobile yang terhubung satu sama lain tanpa infrastruktur yang tetap sehingga perubahan topologi dapat terjadi setiap saat. Protokol routing MANET memiliki dua model yaitu protokol routing reaktif yang membentuk tabel routing hanya saa...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universitas Gadjah Mada
2015-01-01
|
| Series: | IJCCS (Indonesian Journal of Computing and Cybernetics Systems) |
| Online Access: | https://jurnal.ugm.ac.id/ijccs/article/view/6636 |