𝔖 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. - A formal specification-based approach to distributed parallel programming

✍ Scribed by Chia-Chu Chiang,

Book ID: 126612548
Publisher: IEEE
Year: 2004
Weight: 332 KB
Category: Article
ISBN-13: 9780769520940
DOI: 10.1109/HASE.2004.1281744

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. - 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. - Automated detection of injected faults in a differential equation solver

✍ Last, M.; Friedman, M. 📂 Article 📅 2004 🏛 IEEE ⚖ 207 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

[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