✦ LIBER ✦

Formal Specification and Verification of Industrial Control Logic Components

✍ Scribed by Ljungkrantz, Oscar; Akesson, Knut; Fabian, Martin; Chengyin Yuan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification and verification of

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB

Formal Specification and Verification of

✍ S. Gnesi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB

Formal Specification and Verification of

✍ Mustapha Bourahla; Mohamed Benmohamed 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 265 KB

On the formal specification and verifica

✍ Peter J. de Graaff 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 546 KB

Formal verification for analysis and des

✍ D. Kalita; P. Khargonekar 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 719 KB

Formal specification and verification of

✍ Zhao, Yang; Rozier, Kristin Yvonne 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 422 KB