✦ LIBER ✦

Automatic verification of safety interlock systems for industrial processes

✍ Scribed by S.H. Yang; L.S. Tan; C.H. He

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On-line planning in automatic control sy

✍ D. V. Kryazhevskikh; V. E. Odegov 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 521 KB

Automatic verification for a class of di

✍ G. Manduchi; M. Moro 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 219 KB

Automatic Verification of Safety Rules f

✍ Nelson Guimarães Ferreira; Paulo Sérgio Muniz Silva 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 325 KB

A framework for software safety verifica

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

Limits for automatic verification of fin

✍ Krzysztof R. Apt; Dexter C. Kozen 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 241 KB

Development of a new automatic system fo

✍ Jiyong Kim; Jinkyung Kim; Younghee Lee; Il Moon 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 783 KB