Pages that link to "Item:Q1856183"
From MaRDI portal
The following pages link to Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS (Q1856183):
Displaying 6 items.
- Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol (Q1402474) (← 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)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595) (← links)
- A timed verification of the IEEE 1394 Leader election protocol (Q5959853) (← links)