✦ LIBER ✦

Three tutorial papers on protocol specification, validation, and design

✍ Scribed by Luigi Logrippo; Robert L Probert; Hasan Ural

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal protocol specification and confor

✍ Harry Rudin; Colin H. West 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 116 KB

Implementation and design of PVD: An int

✍ K.C. Huang; W.S. Hsieh; C.S. Lu; M.S. Yang; T.S. Nain; Ihnen Lin 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 1001 KB

An integrated approach to design of prot

✍ Kakuda, Y.; Saito, H. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 901 KB

On the Analysis and Design of Three Coup

✍ Abdallah, E.A.F.; El-Deeb, N.A. 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 518 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

✍ Fuyau Lin, 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 798 KB

Special Issue on knowledge transformatio

✍ Richard Noss 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 43 KB