| 000 | 00439nam a22001337a 4500 | ||
|---|---|---|---|
| 082 | _a200 THE | ||
| 100 |
_aAamir Naeem _969410 |
||
| 245 | _aTH-SOF-1576-Formal Verification Approach to Verify System Designs by Utilizing Model Driven Software Engineering (MDSE) | ||
| 260 |
_aISLAMABAD _bNUST COLLEGE OF EME _c2018 |
||
| 300 | _bCD | ||
| 650 |
_aMS-CSE-14 MSTHESIS _969411 |
||
| 700 |
_aAdvisor Dr. Farooque Azam _969412 |
||
| 942 | _cCF | ||
| 999 |
_c576704 _d576704 |
||