TH-SOF-1917-A Model-driven Framework for the Analysis and Verification of Smart Parking Systems - Tayyba Zahoor; Supervisor: Dr. Farooque Azam (ISLAMABAD: NUST COLLEGE OF EME, 2021)
Keywords: MS-CSE-17