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 9 items.
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← 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)
