Pages that link to "Item:Q5953461"
From MaRDI portal
The following pages link to Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k (Q5953461):
Displaying 6 items.
- Uppaal2k (Q14301) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Performance analysis of probabilistic timed automata using digital clocks (Q853731) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- Symbolic model checking for probabilistic timed automata (Q2373877) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
