TY - BOOK AU - Debbabi, Mourad AU - Jarraya, Yosr AU - Soeanu, Andrei AU - Hassaine, Fawzi TI - Verification and validation in systems engineering: assessing UML/SysML design models SN - 9783642152276 U1 - 004.24 PY - 2010/// CY - Berlin PB - Springer KW - Computer systems ER -