Blar i Department of Information and Communication Technology på emneord "PROMELA"
Viser treff 1-1 av 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 ...