Login / Signup

Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines.

Rim Belhassine-CherifAbderrazak Ghedamsi
Published in: ISCC (2001)
Keyphrases
  • finite state machines
  • model checking
  • data sets
  • co occurrence
  • digital circuits
  • finite state automata
  • object oriented
  • fault diagnosis
  • databases
  • neural network
  • data analysis
  • expert systems