✦ LIBER ✦

Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic

✍ Scribed by Alberto Verdejo; Isabel Pita; Narciso Martí-Oliet

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

A Mechanically Proved and Incremental De

✍ Jean-Raymond Abrial; Dominique Cansell; Dominique Méry 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 126 KB

Automatic Verification of the IEEE-1394

✍ Conrado Daws; Marta Kwiatkowska; Gethin Norman 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 234 KB