✦ LIBER ✦

Formal description and verification of a transport protocol for local networks

✍ Scribed by Layuan Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design and validation of a transport pro

✍ E.H. Teo; N.D. Georganas 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 505 KB

Transport protocol considerations for se

✍ Vijay K. Gurbani; Rajnish Jain 📂 Article 📅 2004 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 166 KB 👁 1 views

Formal techniques for the specification,

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

Framework and Tool Support for Formal Ve

✍ Peter Herrmann; Heiko Krumm; Olaf Drögehorn; Walter Geisselhardt 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 175 KB

CTML:: a context transport mark-up langu

✍ Graziella Tonfoni 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 156 KB

Formal description techniques: Communica

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