Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking
Keyword(s):
Keyword(s):
2018 ◽
Vol 89
◽
pp. 144-159
◽
Keyword(s):
2008 ◽
Vol 27
(2)
◽
pp. 403-407
◽
Keyword(s):