Diagnostic Tests for Communicating Nondeterministic Finite State Machines.

Rim Belhassine-Cherif Abderrazak Ghedamsi

Published in: ISCC (2000)

Keyphrases

finite state machines
diagnostic tests
model checking
finite state automata
finite state
fault isolation
regular expressions
communication channels
finite automata
digital circuits
keywords
hidden markov models
co occurrence