004.24  / V588 <br/>
       Verification and validation in systems engineering : assessing UML/SysML design models 
 / Mourad Debbabi ... [et al.] 
 .- Berlin: Springer,  2010 
 .- xxvi, 248p . 
<br><u>ISBN:</u> 9783642152276 
<br/><u>Subject Headings:</u> <br/>Computer systems;
<br/><U>Author Added Entry: </u><br/>Debbabi, Mourad;<br/>Jarraya, Yosr;<br/>Soeanu, Andrei;<br/>Hassaine, Fawzi;
<br><U>Copy Details:</u><br> Acc. No.: <b>A171598</b>, Full Call No.: 004.24 V588,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>