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]
@inproceedings{BateCM00,
title = {Generating evidence for certification of modern processors for use in safety-critical systems},
author = {Iain Bate and Philippa Conmy and John A. McDermid},
year = {2000},
doi = {10.1109/HASE.2000.895450},
url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2000.895450},
researchr = {https://researchr.org/publication/BateCM00},
cites = {0},
citedby = {0},
pages = {125-134},
booktitle = {5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-0927-4},
}