Pages that link to "Item:Q1402480"
From MaRDI portal
The following pages link to Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol (Q1402480):
Displaying 13 items.
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- IEEE 1394 tree identify protocol: Introduction to the case study (Q1402470) (← links)
- But what if I don't want to wait forever? (Q1402477) (← links)
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol (Q1402478) (← links)
- Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS (Q1856183) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Q2257302) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols (Q2810974) (← links)
- Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition (Q3189650) (← links)
- Compositional Design of Stochastic Timed Automata (Q5740181) (← links)
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k (Q5953461) (← links)
