Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems

Article OPEN
Barboza, Frederico J.R.; Andrade, Aline M.S.; Silva, Flávio Assis; Lima, George;
(2008)
Share - Bookmark