Pages that link to "Item:Q5900957"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900957):
Displaying 4 items.
- On the synthesis of adaptive tests for nondeterministic finite state machines (Q840063) (← links)
- Applying adaptive test cases to nondeterministic implementations (Q844156) (← links)
- Minimizing the number of inputs while applying adaptive test cases (Q1041743) (← links)
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606) (← links)