✦ LIBER ✦

Automatic Verification of Safety Rules for a Subway Control Software

✍ Scribed by Nelson Guimarães Ferreira; Paulo Sérgio Muniz Silva

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A framework for software safety verifica

✍ Mansour Rahimi; Xia Xiadong 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 774 KB

Guideline for verification and validatio

📂 Article 📅 1984 🏛 Elsevier Science ⚖ 645 KB

Models and hardware-software solutions f

✍ R. M. Yusupov; A. L. Ronzhin; M. V. Prishchepa; Al. L. Ronzhin 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 456 KB

143 Practical experience with safety ass

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 122 KB