Validating software architectures for high reliability.

Willa K. Ehrlich, R. Chan, W. J. Donnelly, H. H. Park, M. B. Saltzman, P. Verma

Browse the full ISSRE paper archive.