TY  - BOOK
AU  - Faleeha Moin Shaikh
AU  - Advisor Dr. Farooque Azam
TI  - TH-SOF-1577-A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets
U1  - 200 THE 
PY  - 2018///
CY  - ISLAMABAD
PB  - NUST COLLEGE OF EME 
KW  - MS-CSE-14  MSTHESIS
ER  -