𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 1997 High-Assurance Engineering Workshop - Washington, DC, USA (11-12 Aug. 1997)] Proceedings 1997 High-Assurance Engineering Workshop - Design and assurance strategy for the NRL pump

✍ Scribed by Kang, M.H.; Moore, A.P.; Moskowitz, I.S.

Book ID: 126623331
Publisher: IEEE Comput. Soc
Year: 1997
Weight: 988 KB
Category: Article
ISBN-13: 9780818679711
DOI: 10.1109/HASE.1997.648040

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 1997 High-Assurance En

[IEEE Comput. Soc 1997 High-Assurance Engineering Workshop - Washington, DC, USA (11-12 Aug. 1997)] Proceedings 1997 High-Assurance Engineering Workshop - Design of a portable control-flow checking technique

✍ Alkhalifa, Z.; Nair, V.S.S. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 360 KB

[IEEE Comput. Soc 1997 High-Assurance En

[IEEE Comput. Soc 1997 High-Assurance Engineering Workshop - Washington, DC, USA (11-12 Aug. 1997)] Proceedings 1997 High-Assurance Engineering Workshop - Modeling applications for adaptive QoS-based resource management

✍ Chatterjee, S.; Sydir, J.; Sabata, B.; Lawrence, T. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 798 KB

[IEEE Comput. Soc 1997 High-Assurance En

[IEEE Comput. Soc 1997 High-Assurance Engineering Workshop - Washington, DC, USA (11-12 Aug. 1997)] Proceedings 1997 High-Assurance Engineering Workshop - Evaluation and improvement of software products and processes based on measurement

✍ Maurice, F.; Benzekri, A.; Raynaud, Y. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 522 KB

[IEEE Comput. Soc 1997 High-Assurance En

[IEEE Comput. Soc 1997 High-Assurance Engineering Workshop - Washington, DC, USA (11-12 Aug. 1997)] Proceedings 1997 High-Assurance Engineering Workshop - An automated tool for efficiently generating a massive number of random test cases

✍ Jamoussi, A. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 345 KB

[IEEE Comput. Soc 1997 High-Assurance En

[IEEE Comput. Soc 1997 High-Assurance Engineering Workshop - Washington, DC, USA (11-12 Aug. 1997)] Proceedings 1997 High-Assurance Engineering Workshop - Deriving safety properties of critical software from the system risk analysis, application to ground transportation systems

✍ Boulanger, J.L.; Delebarre, V.; Natkin, S.; Ozello, J.P. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 545 KB