Verifikasi Dua Varian Protokol Ad hoc On demand Distance Vector dengan UPPAAL
AbstrakMobile 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 saat...
Saved in:
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | EJournal Article |
| Published: |
IndoCEISS in colaboration with Universitas Gadjah Mada, Indonesia.,
2015-01-31.
|
| Subjects: | |
| Online Access: | Get Fulltext Get Fulltext |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Internet
Get FulltextGet Fulltext
3rd Floor Main Library
| Call Number: |
A1234.567 |
|---|---|
| Copy 1 | Available |