000 00639 a2200181 4500
005 20151026133053.0
008 120823t xxu||||| |||| 00| 0 eng d
020 _a9783642152276
080 _a004.439:004.415.5
_bDEB
100 _aDebbabi, Mourad...[et.al]
_921322
245 _aVerification and validation in systems engineering
_bassessing UML/sysML designed models
_cMourad, Debbabi...[et.al]
260 _bSpringer-verlag
_c2010
_aBerlin
300 _axxvi, 248p.
653 _aSystems engineering
653 _aExpert systems-computer science-verification
653 _aExpert systems-validation
_aComputer science
942 _cBK
999 _c62596
_d62596