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 |
| Citation |
Vol. 18 No. 3 pp. 110-118 |
|
Keywords |
Multicasting Video/Audio, Formal Specification, Model Checking, Packet Recovery protocol, QoS in Multimedia Transmissions. |
