Quality Assurance and Testing for Safety Systems

Herbert Hecht, Myron Hecht. Quality Assurance and Testing for Safety Systems. Ann. Software Eng., 4:191-200, 1997.

Abstract

Abstract is missing.