Pages that link to "Item:Q3543302"
From MaRDI portal
The following pages link to On Conformance Testing for Timed Systems (Q3543302):
Displayed 5 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- Synthesising succinct strategies in safety games with an application to real-time scheduling (Q2636511) (← links)
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- Model-Based Testing (Q5175779) (← links)