Pages that link to "Item:Q2018058"

The following pages link to A game approach to determinize timed automata (Q2018058):

Displaying 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)