Browsing Masters Theses by Author "548400c9-53a4-4c9a-b8f6-fc93b1356966"
Now showing items 1-1 of 1
-
Parallel Algorithms for Distinguishing Nondeterministic Finite State Machines
Ali, Mustafa (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 ...