The following pages link to (Q3070874):
Displaying 6 items.
- Bounded sequence testing from deterministic finite state machines (Q964395) (← links)
- Testing against a non-controllable stream X-machine using state counting (Q2368996) (← links)
- Finite state based testing of P systems (Q2655491) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing (Q4725736) (← links)
- Testing Non-deterministic Stream X-machine Models and P systems (Q5179428) (← links)