Quantitative Verification of WiMAX Traffic Shaping Solutions.

Paolo Ballarini Jalel Ben-Othman Lynda Mokdad

Published in: ANT/MobiWIS (2012)

Keyphrases

medium access control
model checking
network traffic
real time
optimal solution
wifi
formal verification
anomaly detection
qualitative and quantitative
quantitative and qualitative
traffic management
traffic control