✦ LIBER ✦

IEEE 1394 Tree Identify Protocol: Introduction to the Case Study

✍ Scribed by He Jifeng; Xu Qiwen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Tree Identify Protocol of IEEE 1394

✍ Carron Shankland; Mark van der Zwaag 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 163 KB

Verifying the IEEE 1394 FireWire Tree Id

✍ Viktor Schuppan; Armin Biere 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 142 KB

Specification and Verification of the Tr

✍ Alberto Verdejo; Isabel Pita; Narciso Martí-Oliet 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 168 KB

Using SPIN to Analyse the Tree Identific

✍ M. Calder; A. Miller 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 182 KB

Fun with FireWire: A Comparative Study o

✍ Mariëlle Stoelinga 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 113 KB