✦ LIBER ✦

Formal techniques for the specification, verification and construction of communication protocols

✍ Scribed by Tat Choi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification and construction te

✍ H. Brix 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 863 KB

Formal description techniques: Communica

✍ G T'Hooft 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 619 KB

On the formal specification and verifica

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

Correction to "Specification and Verific

✍ Sunshine, C.A.; Thompson, D.H.; Erickson, R.W.; Gerhart, S.L.; Schwabe, D. 📂 Article 📅 1983 🏛 IEEE 🌐 English ⚖ 138 KB

A comparative study of formal verificati

✍ Jeffrey J.P. Tsai; Kuang Xu 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 103 KB

A game-theoretic framework for specifica

✍ Mohamed Saleh; Mourad Debbabi 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 385 KB