Citation to this article as recorded by
Citation to this article as recorded by
A Secure Protocol for Remote-Code Integrity Attestation of Embedded Systems: The CSP Approach IEEE Access |
Formal Method of Z Specification for Basic Alcohol Level Detector 2019 International Conference on Electrical Engineering and Informatics (ICEEI) |
A Critical Analysis and Treatment of Important UML Diagrams
Enhancing Modeling Power Intelligent Information Management Vol. 04, Issue 05, 231, 2012 |
State Based Static and Dynamic Formal Analysis of UML State
Diagrams Journal of Software Engineering and Applications Vol. 05, Issue 07, 483, 2012 |
Model Analysis of Equivalence Classes in UML Events
Relations Journal of Software Engineering and Applications Vol. 06, Issue 12, 653, 2013 |
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