Faleeha Moin Shaikh <br/><br/>
TH-SOF-1577-A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets 

 - ISLAMABAD  NUST COLLEGE OF EME   2018 
 -  CD 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MS-CSE-14  MSTHESIS
<br/><br/><label>Dewey Class. No.: </label>200 THE