✦ LIBER ✦

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code

✍ Scribed by Nurlida Basir; Ewen Denney; Bernd Fischer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

General Anesthesia for C-Section. The Ro

✍ Tafur B. Luis Alberto; Eduardo Lema Flórez 📂 Article 📅 2012 🏛 Ovid Technologies (Wolters Kluwer) - Lippincott W 🌐 English ⚖ 170 KB

An innovative approach to the determinat

✍ C.L. Kruger; M. Murphy; Z. DeFreitas; F. Pfannkuch; J. Heimbach 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 190 KB

[IEEE 2nd International Conference on Co

✍ Malekzadeh, Mehdi; Ainon, Raja Noor 📂 Article 📅 2010 🏛 IEEE ⚖ 124 KB