Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA
Information and Communication Technology systems is a most important part of society.These systems are becoming more and more complex and are massively Bike Units - Hardtail - Recreation encroaching on daily life via the Internet and all kinds of embedded systems.Communication protocols are one of the ICT systems used by Internet users.OLSR protoco