Pages that link to "Item:Q5540450"
From MaRDI portal
The following pages link to Least Upper Bounds on Minimal Terminal State Experiments for Two Classes of Sequential Machines (Q5540450):
Displaying 3 items.
- Transition matrices in the measurement and control of synchronous sequential machines (Q1144377) (← links)
- Deriving Homing Sequences for Finite State Machines with Timed Guards (Q5060074) (← links)
- Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines (Q5200066) (← links)