TY  - BOOK
AU  - Anwar Muhammad Waseem  
ED  - Supervisor Professor Dr. Farooque Azam
TI  - A Model Driven Framework with Assertion Based Verification Support for Embedded Systems Design Automation
U1  - 200  
PY  - 2021///
CY  - Rawalpindi
PB  - NUST COLLEGE OF EME
KW  - PhD SOFTWARE ENGINEERING
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/36076
ER  -