Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.

Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk

Browse the full ICSE paper archive.