Zarina Shukur
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
PDF Fulltext XML References Citation
How to cite this article
Zarina Shukur, Nursyahidah Alias, Mohd Hazali Mohamed Halip and Bahari Idrus, 2006. Formal Specification and Validation of Selective Acknowledgement Protocol using Z/EVES Theorem Prover. Journal of Applied Sciences, 6: 1712-1719.
DOI: 10.3923/jas.2006.1712.1719
URL: https://scialert.net/abstract/?doi=jas.2006.1712.1719
DOI: 10.3923/jas.2006.1712.1719
URL: https://scialert.net/abstract/?doi=jas.2006.1712.1719