Pages that link to "Item:Q1402478"
From MaRDI portal
The following pages link to Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol (Q1402478):
Displaying 13 items.
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- But what if I don't want to wait forever? (Q1402477) (← 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)
- Exact quantitative probabilistic model checking through rational search (Q2225475) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
- Probabilistic Time Petri Nets (Q2822657) (← links)
- Evaluating Complex MAC Protocols for Sensor Networks with APMC (Q5178993) (← links)
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k (Q5953461) (← links)
