Generating evidence for certification of modern processors for use in safety-critical systems

Iain Bate, Philippa Conmy, John A. McDermid. Generating evidence for certification of modern processors for use in safety-critical systems. In 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings. pages 125-134, IEEE Computer Society, 2000. [doi]

Authors

Iain Bate

This author has not been identified. Look up 'Iain Bate' in Google

Philippa Conmy

This author has not been identified. Look up 'Philippa Conmy' in Google

John A. McDermid

This author has not been identified. Look up 'John A. McDermid' in Google