𝔖 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
DOI: 10.1109/HASE.2000.895450

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc HASE 2000. 5th IEEE In

[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) - A flexible real-time architecture

✍ Wickstrom, G.L. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 937 KB

[IEEE Comput. Soc HASE 2000. 5th IEEE In

[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) - Determining the expected time to unsafe failure

✍ Smith, D.T.; DeLong, T.A.; Johnson, B.W.; Giras, T.C. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 658 KB

[IEEE Comput. Soc HASE 2000. 5th IEEE In

[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) - Measuring and assessing software test processes using test data

✍ Yutao He, ; Hecht, H.; Paul, R.A. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 457 KB

[IEEE Comput. Soc HASE 2000. 5th IEEE In

[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) - On the sensitivity of NMR unreliability to non-exponential repair distributions

✍ Kieckhafer, R.M.; Azadmanesh, M.H.; Hui, Y. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 582 KB

[IEEE Comput. Soc HASE 99: Fourth IEEE I

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - Using COTS software in high assurance control applications

✍ Lui Sha, 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 9 KB

[IEEE Comput. Soc HASE 99: Fourth IEEE I

[IEEE Comput. Soc HASE 99: Fourth IEEE International Symposium on High Assurance Systems Engineering - Washington, DC, USA (17-19 Nov. 1999)] Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering - A synchronous paradigm for modeling stable reactive systems

✍ Winter, V.L. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 185 KB