✦ LIBER ✦

[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

✍ Scribed by Boulanger, J.L.; Delebarre, V.; Natkin, S.; Ozello, J.P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 1997 High-Assurance En

✍ Kang, M.H.; Moore, A.P.; Moskowitz, I.S. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 988 KB

[IEEE Comput. Soc 1997 High-Assurance En

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

[IEEE Comput. Soc 1997 High-Assurance En

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

[IEEE Comput. Soc 1997 High-Assurance En

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

[IEEE Comput. Soc 1997 High-Assurance En

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