Muhammad Fayez Afzaal,
Aniqa Rehman,
Saba Latif''Blockchain based Automated Formal Model for Safety and Security in Smart Parking System'',.
[International
-
Conference]
view details..
|
• Muhammad Fayez Afzaal,
Aniqa Rehman,
Saba Latif''Blockchain-based Automated Formal Model for Smart Market System'',.
[International
-
Conference]
view details..
|
Ayesha Saleem Khan,
Aamir Shahzad,
Muhammad Zubair''Personalized 0D models of normal and stenosed carotid arteries'',.
[International
-
Journal]
view details..
|