The following pages link to The design of checkable automata. I (Q799376):
Displaying 5 items.
- Transition count testing of automata (Q799374) (← links)
- The design of checkable automata. II (Q799377) (← links)
- Functional checking of some types of linear sequential machines (Q1913837) (← links)
- Checking of automata faults specified by an evaluating function (Q2740490) (← links)
- Presentations of automata in locally defined classes (Q2901652) (← links)