Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk. Assurance Based Development of Critical Systems. In The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings. pages 347-357, IEEE Computer Society, 2007. [doi]
Abstract is missing.