✦ LIBER ✦

Software tools for safety-critical software development

✍ Scribed by Alan Wassyng; Mark Lawford

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Experimental evaluation of software deve

✍ Andrew J. Kornecki; Janusz Zalewski 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 366 KB

Safety critical software

✍ Stephen Hinde 📂 Article 📅 1995 🏛 Elsevier Science ⚖ 461 KB

Issues in developing software for safety

✍ John A. McDermid 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Safety critical software, unsafe?

📂 Article 📅 1993 🏛 Elsevier Science ⚖ 87 KB

AI software development tools

✍ Sun Microsystems UK Ltd. 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 117 KB

Session G1: Software development tools

📂 Article 📅 1989 🏛 Elsevier Science ⚖ 79 KB