✦ LIBER ✦

The case for formal methods in standards

✍ Scribed by Blyth, D.; Boldyreff, C.; Ruggles, C.; Tetteh-Lartey, N.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Changing Face of Standardization: A

✍ David Duce; David Duke; Giorgio Faconti; Ivan Herman 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 132 KB

Formal methods for security in the Xenon

✍ Leo Freitas; John McDermott 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 401 KB

Formal methods for telecommunication sys

✍ Mark A. Ardis 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 295 KB

[Lecture Notes in Computer Science] Form

✍ Abrial, Jean-Raymond; Börger, Egon; Langmaack, Hans 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 808 KB

Education in formal methods for software

✍ John Wordsworth 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 545 KB

The standards process: tools and methods

✍ A Sloane 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 185 KB