Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA
Open Access
- 31 January 2016
- journal article
- Published by Universitas Gadjah Mada in IJCCS (Indonesian Journal of Computing and Cybernetics Systems)
- Vol. 10 (1), 93
- https://doi.org/10.22146/ijccs.11192