Research Article
Formal Specification and Validation of Selective Acknowledgement Protocol using Z/EVES Theorem Prover
Faculty of Information Technology and Science, National University of Malaysia 43600 Bangi, Selangor, Malaysia
Nursyahidah Alias
Faculty of Information Technology and Science, National University of Malaysia 43600 Bangi, Selangor, Malaysia
Mohd Hazali Mohamed Halip
Faculty of Information Technology and Science, National University of Malaysia 43600 Bangi, Selangor, Malaysia
Bahari Idrus
Faculty of Information Technology and Science, National University of Malaysia 43600 Bangi, Selangor, Malaysia