• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Proving Reachability in B using Substitution Refinement.

Marc FrappierFama DiagneAmel Mammar
Published in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
  • transitive closure
  • state space
  • neural network
  • feature extraction
  • query refinement
  • e learning
  • multiscale
  • lower bound
  • pairwise
  • color images
  • refinement process
  • step wise
  • refinement step