@BOOK{ Book!D - 100995038, AUTHOR = "/ Mourad Debbabi ... [et al.]", TITLE = "Verification and validation in systems engineering ", LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)", SUBJECT = "Systems engineering,Expert systems (Computer science) -- Verification,Expert systems (Computer science) -- Validation,UML (Computer science),SysML (Computer science)", URL = "/book/100995038/Verification-and-validation-in-systems-engineering/"}