Pages that link to "Item:Q3434606"
From MaRDI portal
The following pages link to Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606):
Displayed 8 items.
- Active learning of nondeterministic finite state machines (Q459826) (← links)
- On the synthesis of adaptive tests for nondeterministic finite state machines (Q840063) (← links)
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006) (← links)
- Synthesis of distinguishing test cases for timed finite state machines (Q1758682) (← links)
- Adaptive experiments for state identification in finite state machines with timeouts (Q2104144) (← links)
- Synthesizing adaptive test strategies from temporal logic specifications (Q2280227) (← links)
- The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs (Q2398505) (← links)
- (Q4966026) (← links)