Back to Search Start Over

Assessing traditional verification's effectiveness on safety-critical software systems

Authors :
Gowen, Lon D.
Collofello, James S.
Source :
The Journal of Systems and Software. August, 1994, Vol. v26 Issue n2, p103, 13 p.
Publication Year :
1994

Subjects

Subjects :
Software -- Verification
Computer software industry -- Safety and security measures

Details

ISSN :
01641212
Volume :
v26
Issue :
n2
Database :
Gale General OneFile
Journal :
The Journal of Systems and Software
Publication Type :
Academic Journal
Accession number :
edsgcl.15702485

Tools

Authors Abstract Subjects Details