Quality of service in IoT protocol as designs and its verification in PVS

Authors :: Basit Shahzad
Muhammad Saqib Nawaz
Meng Sun
Tariq Umer
Shaohua Wan
M. Ikram Ullah Lali
Source :: Transactions on Emerging Telecommunications Technologies. 33
Publication Year :: 2019
Publisher :: Wiley, 2019.

Subjects :: Computer science
business.industry
Quality of service
Electrical and Electronic Engineering
Internet of Things
business
Protocol (object-oriented programming)
Computer network

Full Text Access

Tools