Pages that link to "Item:Q1402475"
From MaRDI portal
The following pages link to Verifying the IEEE 1394 fireWire tree identify protocol with SMV (Q1402475):
Displaying 10 items.
- Kripke modelling and verification of temporal specifications of a multiple UAV system (Q434449) (← links)
- The tree identify protocol of IEEE 1394 in \(\mu\)CRL (Q1125432) (← links)
- IEEE 1394 tree identify protocol: Introduction to the case study (Q1402470) (← links)
- 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)
- Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol (Q1402474) (← 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)
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k (Q5953461) (← links)
