Login / Signup
Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation.
Asieh Salehi Fathabadi
Mohammadsadegh Dalvandi
Michael J. Butler
Bashir M. Al-Hashimi
Published in:
IEEE Embed. Syst. Lett. (2020)
Keyphrases
</>
cross layer
wireless networks
video streaming
quality of service
multi layer
routing protocol
application layer
multimedia services
mobile ad hoc networks
scalable video
mac layer
wireless ad hoc networks
high quality
ad hoc networks
real time