Verifikasi Dua Varian Protokol Ad hoc On demand Distance Vector dengan UPPAAL

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...

Full description

Bibliographic Details
Main Authors: Ika Oktavia Suzanti, Reza Pulungan
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

Similar Items

Similar Items