TY  - BOOK
AU  - Tayyba Zahoor
ED  - Supervisor: Dr. Farooque Azam
TI  - TH-SOF-1917-A Model-driven Framework for the Analysis and Verification of Smart Parking Systems
U1  - 200 THE 
PY  - 2021///
CY  - ISLAMABAD
PB  - NUST COLLEGE OF EME
KW  - MS-CSE-17
ER  -