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