✦ LIBER ✦

Formal apparatus for measurement of lightweight protocols

✍ Scribed by Denis Trček; Damjan Kovač

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The formal specifications for protocols

✍ Yuan Meng-ting; Wu Guo-qing; Shu Feng-di 📂 Article 📅 2004 🏛 Wuhan University 🌐 English ⚖ 346 KB

Rapid application of lightweight formal

✍ Feather, M.S. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 199 KB

Measuring the maintainability of a commu

✍ Sun-Jen Huang; Lai, R. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 715 KB

Formal Analysis of Streaming Downloading

✍ Miaomiao Zhang; Dang Van Hung 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 372 KB

Formal techniques for the specification,

✍ Tat Choi 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 643 KB

An improved apparatus for measurement of

✍ O. Ya. Bokser; M. I. Klevtsov 📂 Article 📅 1961 🏛 Springer US 🌐 English ⚖ 422 KB