✦ LIBER ✦

Formalization and assessment of regulatory requirements for safety-critical software

✍ Scribed by Sergiy A. Vilkomir; Jonathan P. Bowen; Aditya K. Ghose

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the safety analysis of requirements s

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

The role of mathematically formal method

✍ Peter Froome; Brian Monahan 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 997 KB

A harmonised model for safety assessment

✍ Yiannis Papadopoulos; John A. McDermid 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 614 KB

A critical evaluation of safety (uncerta

✍ Peter M. Chapman; Anne Fairbrother; Derek Brown 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 88 KB 👁 1 views

A strategy for identification and develo

✍ Jürgen Wunram 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 845 KB

A comparison of methods for calculating

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