Login / Signup
Distinguishing Experiments for Timed Nondeterministic Finite State Machines.
Khaled El-Fakih
Maxim Gromov
Natalia Shabaldina
Nina Yevtushenko
Published in:
Acta Cybern. (2013)
Keyphrases
</>
finite state machines
model checking
finite state automata
finite state
finite automata
hidden markov models
regular expressions
data exchange
initial state
domain knowledge
query language
pattern matching
simulation model
digital circuits