Login / Signup
Heuristics for deriving distinguishing experiments of nondeterministic finite state machines.
Khaled El-Fakih
Abdul Rahim Haddad
Nassima Aleb
Nina Yevtushenko
Published in:
Appl. Soft Comput. (2016)
Keyphrases
</>
finite state machines
model checking
finite state automata
finite state
hidden markov models
digital circuits
regular expressions
search algorithm
data mining
knowledge base
domain specific
initial state
finite automata