Title of article :
Deviation Analysis: A New Use of Model Checking
Author/Authors :
Mats P. E. Heimdahl، نويسنده , , Yunja Choi and Michael W. Whalen ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Pages :
27
From page :
321
To page :
347
Keywords :
Robustness , model checking , deviation analysis
Journal title :
Automated Software Engineering
Serial Year :
2005
Journal title :
Automated Software Engineering
Record number :
307147
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=307147
بازگشت