3- https://doi.org/10.1016/j.jksuci.2018.08.008
Formal verification of a peer-to-peer streaming protocol
- Aug 25, 2018
- Journal of King Saud University - Computer and Information Sciences
- Oluwafolake E Ojo +2 more
Abstract
Formal verification of a peer-to-peer streaming protocol
- # P2P Streaming Systems
- # Simulink Design Verifier
- # Streaming Protocol
- # Formal Verification
- # Efficient Means
- # Peer Networks
- # Formal Methods
- # Dynamic Nature
- # Formal Verification Techniques
- # Simulink Design
