?
2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) ,
1
Formal Modeling and Verification of IoT-based Smart Transpo..:
, In:
?
2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) ,
3
Formal Verification and Validation of IoT-based Railway Gat..:
, In:
?
Strategies and Approaches of Corporate Social Responsibility Toward Multinational Enterprises; Advances in Logistics, Operations, and Management Science ,
5
Online Pothole Detection With YOLOv8 in the Context of Corp..:
, In:
?
Advances in Heat Transfer and Fluid Dynamics; Lecture Notes in Mechanical Engineering ,
7
Solar Collector Tilt Angle Optimization for Maximum Solar I..:
, In:
?
2023 17th International Conference on Open Source Systems and Technologies (ICOSST) ,
10
Formal Modeling and Verification of IoT-based Smart Waste M..:
, In:
?
Emerging Aquatic Contaminants ,
12
Occurrence of per- and polyfluoroalkyl substances (PFAS): A..:
, In:
?
2023 International Conference on Frontiers of Information Technology (FIT) ,
13
Verification of Safety of Aircraft Arrival Procedure using ..:
, In:
?
Emerging Aquatic Contaminants ,
14
Bioaccumulation of emerging contaminants in aquatic biota: ..:
, In:
?
GLOBECOM 2023 - 2023 IEEE Global Communications Conference ,
15