Pages that link to "Item:Q5466506"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466506):
Displayed 5 items.
- Synthesizing adaptive test strategies from temporal logic specifications (Q2280227) (← links)
- Complexity of node coverage games (Q2344734) (← links)
- Structural Statistical Software Testing with Active Learning in a Graph (Q5452080) (← links)
- Control Strategies for Off-Line Testing of Timed Systems (Q5883580) (← links)
- Control strategies for off-line testing of timed systems (Q6102163) (← links)