Login / Signup

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis.

María AlpuenteDemis BallisFrancisco FrechinaJulia Sapiña
Published in: Logic, Rewriting, and Concurrency (2015)
Keyphrases
  • artificial neural networks
  • medical diagnosis
  • databases
  • neural network
  • website
  • control system
  • error rate
  • formal specification
  • error analysis