Pages that link to "Item:Q1402474"
From MaRDI portal
The following pages link to Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol (Q1402474):
Displaying 8 items.
- The tree identify protocol of IEEE 1394 in \(\mu\)CRL (Q1125432) (← links)
- IEEE 1394 tree identify protocol: Introduction to the case study (Q1402470) (← links)
- Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic (Q1402473) (← links)
- Verifying the IEEE 1394 fireWire tree identify protocol with SMV (Q1402475) (← links)
- False loop detection in the IEEE 1394 tree identify phase (Q1402479) (← 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)
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols (Q2810974) (← links)
