𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Automated detection of injected faults in a differential equation solver

✍ Scribed by Last, M.; Friedman, M.

Book ID: 126709289
Publisher: IEEE
Year: 2004
Weight: 207 KB
Category: Article
ISBN-13: 9780769520940
DOI: 10.1109/HASE.2004.1281751

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Eighth IEEE International Symposiu

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - State oriented programming

✍ Nomoto, H. 📂 Article 📅 2004 🏛 IEEE ⚖ 820 KB

[IEEE Eighth IEEE International Symposiu

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Assessing reliability risk using fault correction profiles

✍ Schneidewind, N.F. 📂 Article 📅 2004 🏛 IEEE ⚖ 263 KB

[IEEE Eighth IEEE International Symposiu

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - A formal specification-based approach to distributed parallel programming

✍ Chia-Chu Chiang, 📂 Article 📅 2004 🏛 IEEE ⚖ 332 KB

[IEEE Eighth IEEE International Symposiu

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Testing large scale streaming internet applications over wireless LANs

✍ Ikkurthy, P.; Shahbazian, J.; Labrador, M.A.; Christensen, K.J. 📂 Article 📅 2004 🏛 IEEE ⚖ 458 KB

[IEEE Eighth IEEE International Symposiu

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - EM algorithm for discrete software reliability models: a unified parameter estimation method

✍ Okamura, H.; Murayama, A.; Dohi, T. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 415 KB

[IEEE Eighth IEEE International Symposiu

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Investigating the performance of genetic algorithm-based software test case generation

✍ Berndt, D.J.; Watkins, A. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 203 KB