Software qualification in safety applications

J. D. Lawrence. Software qualification in safety applications. Rel. Eng. & Sys. Safety, 70(2):167-184, 2000. [doi]

Abstract

Abstract is missing.