Pages that link to "Item:Q4415903"
From MaRDI portal
The following pages link to On the Minimality of Stream X-machines (Q4415903):
Displaying 5 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)
- Testing against a non-controllable stream X-machine using state counting (Q2368996) (← links)
- (Q4782092) (← links)
- Generalised stream X-machines and cooperating distributed grammar systems (Q5944214) (← links)