Pages that link to "Item:Q1402473"

The following pages link to Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic (Q1402473):

Displaying 10 items.

• The tree identify protocol of IEEE 1394 in \(\mu\)CRL (Q1125432) (← links)
• A mechanically proved and incremental development of IEEE 1394 tree identify protocol (Q1402471) (← links)
• 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)
• Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS (Q1856183) (← links)
• Twenty years of rewriting logic (Q1931904) (← 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)
• Coding mobile synchronizing Petri nets into rewriting logic (Q2864520) (← links)