✦ LIBER ✦

Certification of software for real-time safety-critical systems: state of the art

✍ Scribed by Andrew Kornecki; Janusz Zalewski

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

A harmonised model for safety assessment

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

Software production and maintenance syst

📂 Article 📅 1985 🏛 Elsevier Science ⚖ 235 KB

Real-time software: Infotech state of th

📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 103 KB

On the safety analysis of requirements s

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

State of the art of the measurement tech

✍ B. A. Chuprakov; I. P. Krasnoshchekov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 372 KB