Validation of Ultrahigh Dependability for Software-Based Systems

Bev Littlewood, Lorenzo Strigini. Validation of Ultrahigh Dependability for Software-Based Systems. Communications of the ACM, 36(11):69-80, 1993.

Abstract

Abstract is missing.