| 000 | 00418nam a22001337a 4500 | ||
|---|---|---|---|
| 040 | _cNUST | ||
| 082 | _a200 THE | ||
| 100 |
_aTayyba Zahoor _984103 |
||
| 110 |
_aSupervisor: Dr. Farooque Azam _984104 |
||
| 245 | _aTH-SOF-1917-A Model-driven Framework for the Analysis and Verification of Smart Parking Systems | ||
| 260 |
_aISLAMABAD: _bNUST COLLEGE OF EME, _c2021. |
||
| 650 |
_aMS-CSE-17 _984105 |
||
| 942 |
_2ddc _cTHE |
||
| 999 |
_c586743 _d586743 |
||