Distinguing Non-deterministic Timed Finite State Machines.

Maxim Gromov Khaled El-Fakih Natalia Shabaldina Nina Yevtushenko

Published in: FMOODS/FORTE (2009)

Keyphrases

finite state machines
model checking
finite state automata
hidden markov models
regular expressions
black box
data analysis
digital circuits
data model
markov chain