Ali, Sajjad (MSCS-19)  <br/><br/>
Formal Verification of Embedded Systems  
Sajjad Ali  
 - Rawalpindi   MCS,NUST   2015 
 - x, 89 p 
<br/><br/> Introduction (Page-1) Literature Review (Page-10) Proposed Methodology (Page-21) Preliminaries (Page-29) Case Studies (Page-35) Results and Discussion, Future work and Conclusion (Page-75) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PG Thesis 
<br/><br/><label>Subjects--Geographic Terms: </label><br/>MSCS-19 
<br/><br/><label>Dewey Class. No.: </label>005.1