Pages that link to "Item:Q1856183"

The following pages link to Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS (Q1856183):

Displayed 3 items.

• Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) ‎ (← links)
• Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595) ‎ (← links)
• Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) ‎ (← links)