The following pages link to (Q4900328):
Displaying 7 items.
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (Q1882901) (← links)
- Specification, testing and verification of unconventional computations using generalized<i>X</i>-machines (Q2930717) (← links)
- Bounded Sequence Testing from Non-deterministic Finite State Machines (Q3434652) (← links)
- (Q3681938) (← links)
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine (Q4415904) (← links)
- Generating test sets from non-deterministic stream X-machines (Q5944213) (← links)
- Generalised stream X-machines with output delimited type (Q5944215) (← links)
