000 00555nam a22001457a 4500
040 _cNUST
082 _a200
100 _aAnwar Muhammad Waseem
_9124523
110 _aSupervisor Professor Dr. Farooque Azam
_984335
245 _aA Model Driven Framework with Assertion Based Verification Support for Embedded Systems Design Automation/
_cMuhammad Waseem Anwar
260 _aRawalpindi:
_bNUST COLLEGE OF EME,
_c2021.
650 _aPhD SOFTWARE ENGINEERING
_9119855
856 _uhttp://10.250.8.41:8080/xmlui/handle/123456789/36076
942 _2ddc
_cSC
999 _c586814
_d586814