To search, Click below search items.
All Published Papers Search Service
Title
Formal Analysis and Verification of Packet Recovery Protocols for Multicast Video
Author
Muhammad Atif, Nadia Mushtaq, M. Sohaib Mahmood, Muhammad Naeem, Amjad Riaz
Vol. 18 No. 3 pp. 110-118
Keywords
Multicasting Video/Audio, Formal Specification, Model Checking, Packet Recovery protocol, QoS in Multimedia Transmissions.