000 00435nam a22001337a 4500
082 _a200 THE
100 _aFaleeha Moin Shaikh
_969407
245 _aTH-SOF-1577-A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets
260 _aISLAMABAD
_bNUST COLLEGE OF EME
_c2018
300 _bCD
650 _aMS-CSE-14 MSTHESIS
_969408
700 _aAdvisor Dr. Farooque Azam
_969409
942 _cCF
999 _c576703
_d576703