Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Khaldoun Batiha
Enhancing Formal Specification and Verification of E-Commerce Protocol
Journal of Advanced Computer Science & Technology
The New Candidate IPV6 Address Size Prediction
Journal of Advanced Computer Science & Technology
Related publications
Formal Specification and Verification
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification of Dynamic Parametrized Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Introducing H, an Institution-Based Formal Specification and Verification Language
Logica Universalis
Applied Mathematics
Logic
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Communication in Network-On-Chip: An Overview
International Journal of Recent Contributions from Engineering, Science & IT (iJES)
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
IEEE Transactions on Software Engineering
Software
Formal Verification of a Group Membership Protocol Using Model Checking
