Pages that link to "Item:Q3000640"
From MaRDI portal
The following pages link to Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640):
Displaying 4 items.
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- A game approach to determinize timed automata (Q2018058) (← links)
- Bounded Determinization of Timed Automata with Silent Transitions (Q2945604) (← links)
- Off-line test selection with test purposes for non-deterministic timed automata (Q3166229) (← links)