✦ LIBER ✦

Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method

✍ Scribed by Joris Rehm

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic Verification of the IEEE-1394

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

Probabilistic Model Checking of Deadline

✍ Marta Kwiatkowska; Gethin Norman; Jeremy Sproston 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 256 KB

Fun with FireWire: A Comparative Study o

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