Pages that link to "Item:Q5959853"
From MaRDI portal
The following pages link to A timed verification of the IEEE 1394 Leader election protocol (Q5959853):
Displaying 8 items.
- A mechanically proved and incremental development of IEEE 1394 tree identify protocol (Q1402471) (← links)
- Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic (Q1402473) (← links)
- But what if I don't want to wait forever? (Q1402477) (← links)
- Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol (Q1402480) (← links)
- Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS (Q1856183) (← links)
- The leader election protocol of IEEE 1394 in Maude (Q2703710) (← links)
- A survey of formal methods applied to leader election in IEEE 1394 (Q2709226) (← links)
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k (Q5953461) (← links)