Browsing by Subject "Parallel algorithms"
Now showing items 1-1 of 1
-
Parallel Algorithms for Distinguishing Nondeterministic Finite State Machines
(2015-02)Many methods are used for the development of experiments and conformance tests based on the specification given in the form Finite State Machines (FSMs). In FSM-based testing, we have an FSM or a black-box Implementation ...