✦ LIBER ✦

Tools and techniques for the testing of safety-critical software

✍ Scribed by Cullyer, W.J.; Storey, N.

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

Some conservative stopping rules for the

✍ Littlewood, B.; Wright, D. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 143 KB

On the safety analysis of requirements s

✍ Amer Saeed; Rogério de Lemos; Tom Anderson 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 934 KB

Techniques for verification and validati

📂 Article 📅 1985 🏛 Elsevier Science ⚖ 737 KB

Significance and analysis of testing tec

✍ P.J. Strachan 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 881 KB

A comparison of methods for calculating

✍ Oded Tal; Anthony Bendell; Chris McCollin 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 114 KB 👁 2 views