Pages that link to "Item:Q2018058"
From MaRDI portal
The following pages link to A game approach to determinize timed automata (Q2018058):
Displayed 5 items.
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) (← links)
- (Q5089309) (← links)
- (Q5094137) (← links)
- Control Strategies for Off-Line Testing of Timed Systems (Q5883580) (← links)
- Control strategies for off-line testing of timed systems (Q6102163) (← links)