Pages that link to "Item:Q1606072"
From MaRDI portal
The following pages link to An integrated refinement and testing method for stream X-machines (Q1606072):
Displaying 6 items.
- A unified integration and component testing approach from deterministic stream X-machine specifications (Q282085) (← links)
- Testing data processing-oriented systems from stream X-machine models (Q944368) (← links)
- Checking experiments for stream X-machines (Q987982) (← links)
- Testing (stream) X-machines (Q1413646) (← links)
- Complete deterministic stream X-machine testing (Q1764430) (← links)
- Testing against a non-controllable stream X-machine using state counting (Q2368996) (← links)