AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Muhammad Usman Qadeer

Muhammad Usman Qadeer

Lahore University of Management Sciences - Lahore / Pakistan
Engineering & Technology / Computer Science
AD Scientific Index ID: 4925263
لاہور یونیورسٹی آف مینجمنٹ سائنسز
person_outline Muhammad Usman Qadeer's MOST POPULAR ARTICLES
1-) Spatio-temporal crop classification on volumetric data 2021 IEEE International Conference on Image Processing (ICIP), 3812-3816, 2021
2-) Implementation of Wireless Mesh Network for IoT based Smart Homes 2019 International Symposium on Recent Advances in Electrical Engineering …, 2019
3-) Formal modeling and verification of IoT-based smart transport system using SPIN model checker 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC), 1-6, 2024
4-) Formal verification of aircraft departure procedure using spin model checker 2023 18th International Conference on Emerging Technologies (ICET), 165-170, 2023
5-) Formal Modeling and Verification of IoT-based Smart Waste Management System using SPINM Rashid, MMU Rehman, H Raza, M Qadeer, I Rasool, NA Zafar2023 17th International Conference on Open Source Systems and Technologies …, 20232023