Fauzia Ehsan <br/><br/>
MS Thesis: Probabilistic Formal Modeling And Verification of Real Time Task Scheduling On Multiprocessor   Ehsan Fauzia 

 - Islamabad  RCMS NUST  C,2017. 
 - x,109,p:  ill:  30,cm. 
<br/><br/><br/>Shelf No 7 Row No 3 
<br/><br/><label>Subjects--Corporate Names: </label>--Computational Science and Engineering
<br/><br/><label>Dewey Class. No.: </label>621.001 FAU