Login / Signup
Quality of service in IoT protocol as designs and its verification in PVS.
Muhammad Saqib Nawaz
Meng Sun
Basit Shahzad
Muhammad Ikram Ullah Lali
Tariq Umer
Shaohua Wan
Published in:
Trans. Emerg. Telecommun. Technol. (2022)
Keyphrases
</>
quality of service
formal verification
resource reservation
qos requirements
cross layer
label switching
medium access control
protocol stack
ad hoc networks
response time
model checking
resource management
web services
management system
wireless link
ip networks
admission control
real time
bandwidth allocation
service selection
qos aware
mac layer
network resources
multimedia services
mac protocol
service differentiation
qos routing
video on demand
multicast tree
bandwidth utilization
cloud computing
medium access
mobility management
traffic engineering
qos parameters
tcp ip
resource utilization
end to end delay
communication protocols
key management
location information