Title of article :
Independent examination of software: an experiment
Author/Authors :
Padmanabhan Krishnan، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2004
Pages :
10
From page :
847
To page :
856
Keywords :
model checking , Verification and validation , Firewall
Journal title :
Information and Software Technology
Serial Year :
2004
Journal title :
Information and Software Technology
Record number :
135082
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=135082
بازگشت