Integrated Analysis of Complex Safety Critical Systems

Stephen P. Wilson, John A. McDermid. Integrated Analysis of Complex Safety Critical Systems. Comput. J., 38(10):765-776, 1995.

Abstract

Abstract is missing.