Title of article :
Model Checking Complete Requirements Specifications Using Abstraction
Author/Authors :
Ramesh Bharadwaj and Constance L. Heitmeyer ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Pages :
32
From page :
37
To page :
68
Keywords :
SCR , Requirements specification , Verification , Abstraction , model checking
Journal title :
Automated Software Engineering
Serial Year :
1999
Journal title :
Automated Software Engineering
Record number :
307044
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=307044
بازگشت