Pages that link to "Item:Q987982"
From MaRDI portal
The following pages link to Checking experiments for stream X-machines (Q987982):
Displaying 6 items.
- A unified integration and component testing approach from deterministic stream X-machine specifications (Q282085) (← links)
- Testing (stream) X-machines (Q1413646) (← links)
- Testing conditions for communicating stream \(X\)-machine systems (Q1849557) (← links)
- Fundamental results for learning deterministic extended finite state machines from queries (Q1998871) (← links)
- Testing based on identifiable P systems using cover automata and X-machines (Q2282267) (← links)
- On the Minimality of Stream X-machines (Q4415903) (← links)