Computer Based Support for Standards and Processes in Safety Critical Systems.

Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs

Browse the full SAFECOMP paper archive.