The following pages link to (Q4329016):
Displayed 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)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Fundamental results for learning deterministic extended finite state machines from queries (Q1998871) (← links)
- Testing against a non-controllable stream X-machine using state counting (Q2368996) (← links)