Browsing Department of Information and Communication Technology by Subject "PROMELA"
Now showing items 1-1 of 1
-
Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol
(Journal article; Peer reviewed, 2012)Cooperative communications, in which a relay node helps the source node to deliver its packets to the destination node, are able to obtain significant benefits in terms of transmission reliability, coverage extension and ...