000 00614pam a2200217a 44500
005 20170113103430.0
008 160408b2010 xxu||||| |||| 00| 0 eng d
020 _a9783642152276
040 _cIITK
041 _aeng
082 _a004.24
_bV588
245 0 _aVerification and validation in systems engineering
_bassessing UML/SysML design models
_cMourad Debbabi ... [et al.]
260 _aBerlin
_bSpringer
_c2010
300 _axxvi, 248p
650 _aComputer systems
700 _aDebbabi, Mourad
700 _aJarraya, Yosr
700 _aSoeanu, Andrei
700 _aHassaine, Fawzi
942 _cBK
999 _c369021
_d369021