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

✍ Scribed by Wickstrom, G.L.

Book ID: 126708533
Publisher: IEEE Comput. Soc
Year: 2000
Weight: 937 KB
Category: Article
ISBN-13: 9780769509273
DOI: 10.1109/HASE.2000.895447

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) - 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 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) - Generating evidence for certification of modern processors for use in safety-critical systems

✍ Bate, I.; Conmy, P.; McDermid, J. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 722 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 - Lessons from 342 medical device failures

✍ Wallace, D.R.; Kuhn, D.R. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 79 KB