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