Login / Signup

Quad DCVS dynamic logic fault modeling and testing.

R. Dean AdamsEdmond S. CooleyPatrick R. Hansen
Published in: ITC (1998)
Keyphrases
  • dynamic logic
  • fault diagnosis
  • fault model
  • neural network
  • high level
  • reasoning about actions
  • imperative programs
  • machine learning
  • artificial intelligence
  • multi agent