%0 Conference Paper %1 conf/hase/BateCM00 %A Bate, Iain %A Conmy, Philippa %A McDermid, John A. %B HASE %D 2000 %I IEEE Computer Society %K dblp %P 125-134 %T Generating evidence for certification of modern processors for use in safety-critical systems. %U http://dblp.uni-trier.de/db/conf/hase/hase2000.html#BateCM00 %@ 0-7695-0927-4

@inproceedings{conf/hase/BateCM00, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bate, Iain and Conmy, Philippa and McDermid, John A.}, biburl = {https://www.bibsonomy.org/bibtex/2ffd62d82b1eab961d3d71c1595d92c35/dblp}, booktitle = {HASE}, crossref = {conf/hase/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.2000.895450}, interhash = {e70cac249cd6c430936e65ab2c9a043d}, intrahash = {ffd62d82b1eab961d3d71c1595d92c35}, isbn = {0-7695-0927-4}, keywords = {dblp}, pages = {125-134}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:23:08.000+0200}, title = {Generating evidence for certification of modern processors for use in safety-critical systems.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase2000.html#BateCM00}, year = 2000 }