๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE Comput. Soc HASE 2000. 5th IEEE International Symposium on High-Assurance Systems Engineering - Albuquerque, NM, USA (15-17 Nov. 2000)] Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) - Generating evidence for certification of modern processors for use in safety-critical systems

โœ Scribed by Bate, I.; Conmy, P.; McDermid, J.


Book ID
126674310
Publisher
IEEE Comput. Soc
Year
2000
Weight
722 KB
Category
Article
ISBN-13
9780769509273

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES